menuRestart        76 gui/gtk/gtk.cpp     void menuRestart(GtkMenuItem *menuitem, gpointer instance);
menuRestart      2098 gui/gtk/gtk.cpp     g_signal_connect(restart, "activate", G_CALLBACK(menuRestart), this);