anjuta: Fix destruction of AnjutaPreferences instance.
commitc50391dc424b4fba99a118d165465ea70c7ed1c6
authorCarl-Anton Ingmarsson <ca.ingmarsson@gmail.com>
Tue, 27 Nov 2012 17:52:22 +0000 (27 18:52 +0100)
committerSébastien Granjoux <seb.sfo@free.fr>
Wed, 28 Nov 2012 20:28:00 +0000 (28 21:28 +0100)
tree4c46d16c29fd36aac222f8f57b4c9d6ac8c60a76
parent91754754de970206a2fdf55e3c24408cb259241e
anjuta: Fix destruction of AnjutaPreferences instance.

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
libanjuta/anjuta-preferences.c
plugins/terminal/terminal.c
plugins/tools/plugin.c
src/anjuta-window.c
src/shell.c