menuPlay           78 gui/gtk/gtk.cpp     void menuPlay(GtkMenuItem *menuitem, gpointer instance);
menuPlay          241 gui/gtk/gtk.cpp     g_signal_connect(_resumeButton, "clicked", G_CALLBACK(menuPlay), this);
menuPlay         2064 gui/gtk/gtk.cpp     g_signal_connect (play, "activate", G_CALLBACK(menuPlay), this);