is_menu_shortcut 2508 core/gui.c     static int is_menu_shortcut = 0;
is_menu_shortcut 2527 core/gui.c             is_menu_shortcut = 1;
is_menu_shortcut 2582 core/gui.c         is_menu_shortcut = 0;
is_menu_shortcut 2664 core/gui.c         if (is_menu_shortcut)