mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-12-29 06:51:10 +00:00
Do not update paned position if it's already at the given value
Fixes: https://bugzilla.gnome.org/show_bug.cgi?id=561816
This commit is contained in:
parent
da86b0bd3f
commit
a23f581c5d
@ -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)
|
||||
|
Loading…
Reference in New Issue
Block a user