menuStop           80 gui/gtk/gtk.cpp     void menuStop(GtkMenuItem *menuitem, gpointer instance);
menuStop         2085 gui/gtk/gtk.cpp     g_signal_connect(stop, "activate", G_CALLBACK(menuStop), this);