createViewMenu    672 gui/gtk/gtk.cpp     createViewMenu(_menubar);
createViewMenu    691 gui/gtk/gtk.cpp     createViewMenu(GTK_WIDGET(_popup_menu));
createViewMenu     96 gui/gtk/gtksup.h     void createViewMenu(GtkWidget *obj);