mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2025-01-01 08:20:36 +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
36b1586f86
commit
bffcae28d7
@ -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