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);