menuPreferences    83 gui/gtk/gtk.cpp     void menuPreferences(GtkMenuItem *menuitem, gpointer instance);
menuPreferences  1929 gui/gtk/gtk.cpp     g_signal_connect(preferences, "activate", G_CALLBACK(menuPreferences),