is_menu_shortcut 2490 core/gui.c     static int is_menu_shortcut = 0;
is_menu_shortcut 2509 core/gui.c             is_menu_shortcut = 1;
is_menu_shortcut 2564 core/gui.c         is_menu_shortcut = 0;
is_menu_shortcut 2646 core/gui.c         if (is_menu_shortcut)