gui_user_menu_flag   57 core/gui.c     int gui_user_menu_flag;
gui_user_menu_flag 3086 core/gui.c     	    gui_user_menu_flag = 0;
gui_user_menu_flag 3090 core/gui.c     		    gui_user_menu_flag = 1;
gui_user_menu_flag 1111 core/gui_menu.c     extern int gui_user_menu_flag;
gui_user_menu_flag 1115 core/gui_menu.c     if ( gui_user_menu_flag )
gui_user_menu_flag 1118 core/gui_menu.c         gui_user_menu_flag = 0;
gui_user_menu_flag   53 platform/n/kbd.c     extern int gui_user_menu_flag ;    
gui_user_menu_flag   57 platform/n/kbd.c             gui_user_menu_flag = 0;
gui_user_menu_flag   53 platform/n_facebook/kbd.c     extern int gui_user_menu_flag ;    
gui_user_menu_flag   57 platform/n_facebook/kbd.c             gui_user_menu_flag = 0;