[libgda] GdaBrowser: correctly display current scale index in WidgetOverlay

[Vivien Malerba <vivien src gnome org>]

commit 45d76e357000108e9701eab8967c4c0a0ee50792
Author: Vivien Malerba <malerba gnome-db org>
Date:   Wed Nov 2 21:09:23 2011 +0100

    GdaBrowser: correctly display current scale index in WidgetOverlay

 tools/browser/common/widget-overlay.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/tools/browser/common/widget-overlay.c b/tools/browser/common/widget-overlay.c
index 37c1e52..4b8d759 100644
--- a/tools/browser/common/widget-overlay.c
+++ b/tools/browser/common/widget-overlay.c
@@ -1042,6 +1042,9 @@ widget_overlay_set_child_props (WidgetOverlay *ovl, GtkWidget *child, ...)
 						/*gtk_widget_queue_resize (GTK_WIDGET (ovl));*/
 						gtk_widget_queue_resize (cd->child);
 					}
+
+					if (ovl->priv->scale_range && (cd == get_first_child (ovl)))
+						gtk_range_set_value (ovl->priv->scale_range, cd->scale);
 					break;
 				}
 				case WIDGET_OVERLAY_CHILD_TOOLTIP: