reset_helper     2822 core/gui.c         int reset_helper = 0;
reset_helper     2846 core/gui.c                 reset_helper = 1;
reset_helper     2876 core/gui.c                 reset_helper = 1;
reset_helper     2886 core/gui.c                     reset_helper = 1;
reset_helper     2891 core/gui.c                     reset_helper = 1;
reset_helper     2897 core/gui.c                     reset_helper = 1;
reset_helper     2907 core/gui.c                     reset_helper = 1;
reset_helper     2919 core/gui.c                         reset_helper = 1;
reset_helper     2927 core/gui.c                         reset_helper = 1;
reset_helper     2934 core/gui.c         if (reset_helper)