menuQuit           77 gui/gtk/gtk.cpp     void menuQuit(GtkMenuItem *menuitem, gpointer instance);
menuQuit          716 gui/gtk/gtk.cpp     g_signal_connect(quit, "activate", G_CALLBACK(menuQuit), this);
menuQuit          742 gui/gtk/gtk.cpp     g_signal_connect(quit, "activate", G_CALLBACK(menuQuit), this);
menuQuit         1909 gui/gtk/gtk.cpp     g_signal_connect(quit, "activate", G_CALLBACK(menuQuit), this);