PrefWidgets       992 gui/gtk/gtk.cpp         PrefWidgets()
PrefWidgets      1038 gui/gtk/gtk.cpp     PrefWidgets* _prefs;
PrefWidgets      1055 gui/gtk/gtk.cpp     PrefWidgets *prefs = static_cast<PrefWidgets*>(data);