createHelpMenu    674 gui/gtk/gtk.cpp     createHelpMenu(_menubar);
createHelpMenu    694 gui/gtk/gtk.cpp     createHelpMenu(GTK_WIDGET(_popup_menu));
createHelpMenu    733 gui/gtk/gtk.cpp     createHelpMenu(GTK_WIDGET(_popup_menu_alt));
createHelpMenu     98 gui/gtk/gtksup.h     void createHelpMenu(GtkWidget *obj);