Searched refs:menu_enabled (Results 1 – 1 of 1) sorted by relevance
762 static int menu_enabled = TRUE; variable882 if (!menu_enabled) in gui_motif_set_mnemonics()