From a23f581c5d6f9256303df5cb639ebf6c935a886b Mon Sep 17 00:00:00 2001
From: Christian Dywan <christian@twotoasts.de>
Date: Fri, 29 Jan 2010 16:43:15 +0100
Subject: [PATCH] Do not update paned position if it's already at the given
 value

Fixes: https://bugzilla.gnome.org/show_bug.cgi?id=561816
---
 gtk/gtkpaned.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gtk/gtkpaned.c b/gtk/gtkpaned.c
index d0f44433c1..16681822dd 100644
--- a/gtk/gtkpaned.c
+++ b/gtk/gtkpaned.c
@@ -1495,6 +1495,9 @@ gtk_paned_set_position (GtkPaned *paned,
   
   g_return_if_fail (GTK_IS_PANED (paned));
 
+  if (paned->child1_size == position)
+    return;
+
   object = G_OBJECT (paned);
   
   if (position >= 0)