glade: Fix the palette not being shown.
commitb701c6218dc279e5c1c478d64aff19c0cd465165
authorCarl-Anton Ingmarsson <ca.ingmarsson@gmail.com>
Mon, 19 Nov 2012 19:13:36 +0000 (19 20:13 +0100)
committerSébastien Granjoux <seb.sfo@free.fr>
Mon, 19 Nov 2012 20:20:47 +0000 (19 21:20 +0100)
tree06eb5abf5afce31d3dc053d38f6e1ed37654119d
parent52d08e7055eec3113b176641cf2ec7d68135e147
glade: Fix the palette not being shown.

Call gtk_widget_show_all() on the palette_box since anjuta_shell_add_widget() doesn't do it
anymore. Also change back the palette_box to vertical which was mistakenly changed in
9a2c4a1055c4c70294e1637f9d74da67d2034b88.

https://bugzilla.gnome.org/show_bug.cgi?id=688671
plugins/glade/plugin.c