menuSound          74 gui/gtk/gtk.cpp     void menuSound(GtkMenuItem *menuitem, gpointer instance);
menuSound         707 gui/gtk/gtk.cpp     g_signal_connect(menusound, "activate", G_CALLBACK(menuSound), this);