handlePrefs      1022 gui/gtk/gtk.cpp     static void handlePrefs(GtkWidget* widget, gint response, gpointer data);
handlePrefs      1252 gui/gtk/gtk.cpp     g_signal_connect (_prefsDialog, "response", G_CALLBACK(&handlePrefs), _prefs);