-
AnjutaPreferences is not a GtkWidget so it should not be destroyed with gtk_widget_destroy(). Also make it not a singleton anymore since this causes some hard to solve problems. https://bugzilla.gnome.org/show_bug.cgi?id=689054
c50391dc
AnjutaPreferences is not a GtkWidget so it should not be destroyed with gtk_widget_destroy(). Also make it not a singleton anymore since this causes some hard to solve problems. https://bugzilla.gnome.org/show_bug.cgi?id=689054