diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | plugins/gtk+/glade-gtk.c | 4 |
2 files changed, 8 insertions, 1 deletions
@@ -1,3 +1,8 @@ +2007-11-09 Juan Pablo Ugarte <juanpablougarte@gmail.com> + + * plugins/gtk+/glade-gtk.c: commited J. Ali Harlow <ali@avrc.city.ac.uk> patch. (fixes #495057) + o glade_gtk_assistant_set_child_property() return if the current page is the same as position. + 2007-10-26 Juan Pablo Ugarte <juanpablougarte@gmail.com> * plugins/gtk+/glade-gtk.c: added glade_gtk_radio_button_set_property() to avoid bogus warning diff --git a/plugins/gtk+/glade-gtk.c b/plugins/gtk+/glade-gtk.c index 6d4e5682..d081035c 100644 --- a/plugins/gtk+/glade-gtk.c +++ b/plugins/gtk+/glade-gtk.c @@ -6656,7 +6656,9 @@ glade_gtk_assistant_set_child_property (GladeWidgetAdaptor *adaptor, gint pos, size; gboolean set_current; - if ((pos = g_value_get_int (value)) < 0); + if ((pos = g_value_get_int (value)) < 0) return; + if (pos == glade_gtk_assistant_get_page (assistant, widget)) + return; set_current = gtk_assistant_get_current_page (assistant) == glade_gtk_assistant_get_page (assistant, widget); |