USE_MENUS         251 gui/gtk/gtk.cpp #if defined(USE_MENUS) 
USE_MENUS         506 gui/gtk/gtk.cpp #ifdef USE_MENUS
USE_MENUS         686 gui/gtk/gtk.cpp #ifdef USE_MENUS
USE_MENUS         728 gui/gtk/gtk.cpp #ifdef USE_MENUS