createControlMenu  673 gui/gtk/gtk.cpp     createControlMenu(_menubar);
createControlMenu  692 gui/gtk/gtk.cpp     createControlMenu(GTK_WIDGET(_popup_menu));
createControlMenu   99 gui/gtk/gtksup.h     void createControlMenu(GtkWidget *obj);