createEditMenu    671 gui/gtk/gtk.cpp     createEditMenu(_menubar);
createEditMenu    690 gui/gtk/gtk.cpp     createEditMenu(GTK_WIDGET(_popup_menu));
createEditMenu    731 gui/gtk/gtk.cpp     createEditMenu(GTK_WIDGET(_popup_menu_alt));
createEditMenu     95 gui/gtk/gtksup.h     void createEditMenu(GtkWidget *obj);