menuPause          79 gui/gtk/gtk.cpp     void menuPause(GtkMenuItem *menuitem, gpointer instance);
menuPause        2075 gui/gtk/gtk.cpp     g_signal_connect(pause, "activate", G_CALLBACK(menuPause), this);