pgtk_menu_set_in_use 3305 src/gtkutil.c        pgtk_menu_set_in_use (true);
pgtk_menu_set_in_use 3697 src/pgtkfns.c    pgtk_menu_set_in_use (false);
pgtk_menu_set_in_use 3728 src/pgtkfns.c      pgtk_menu_set_in_use (true);
pgtk_menu_set_in_use 3793 src/pgtkfns.c      pgtk_menu_set_in_use (true);
pgtk_menu_set_in_use  130 src/pgtkmenu.c   pgtk_menu_set_in_use (false);
pgtk_menu_set_in_use  628 src/pgtkterm.h extern void pgtk_menu_set_in_use (bool);