menuRefreshView    85 gui/gtk/gtk.cpp     void menuRefreshView(GtkMenuItem *menuitem, gpointer instance);
menuRefreshView  1970 gui/gtk/gtk.cpp     g_signal_connect(refresh, "activate", G_CALLBACK(menuRefreshView), this);