gui_user_menu_flag   56 core/gui.c     int gui_user_menu_flag;
gui_user_menu_flag 3070 core/gui.c     	    gui_user_menu_flag = 0;
gui_user_menu_flag 3074 core/gui.c     		    gui_user_menu_flag = 1;
gui_user_menu_flag 1098 core/gui_menu.c     extern int gui_user_menu_flag;
gui_user_menu_flag 1102 core/gui_menu.c     if ( gui_user_menu_flag )
gui_user_menu_flag 1105 core/gui_menu.c         gui_user_menu_flag = 0;
gui_user_menu_flag   54 platform/n/kbd.c     extern int gui_user_menu_flag ;    
gui_user_menu_flag   58 platform/n/kbd.c             gui_user_menu_flag = 0;
gui_user_menu_flag   54 platform/n_facebook/kbd.c     extern int gui_user_menu_flag ;    
gui_user_menu_flag   58 platform/n_facebook/kbd.c             gui_user_menu_flag = 0;