diff options
-rw-r--r-- | src/gui_gtk.c | 5 | ||||
-rw-r--r-- | src/version.c | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/src/gui_gtk.c b/src/gui_gtk.c index 79a1ac3d8e..2ea7a5e020 100644 --- a/src/gui_gtk.c +++ b/src/gui_gtk.c @@ -1011,6 +1011,9 @@ gui_mch_set_scrollbar_thumb(scrollbar_T *sb, long val, long size, long max) { GtkAdjustment *adjustment; + // ignore events triggered by moving the thumb (happens in GTK 3) + ++hold_gui_events; + adjustment = gtk_range_get_adjustment(GTK_RANGE(sb->id)); gtk_adjustment_set_lower(adjustment, 0.0); @@ -1023,6 +1026,8 @@ gui_mch_set_scrollbar_thumb(scrollbar_T *sb, long val, long size, long max) g_signal_handler_block(G_OBJECT(adjustment), (gulong)sb->handler_id); + --hold_gui_events; + #if !GTK_CHECK_VERSION(3,18,0) gtk_adjustment_changed(adjustment); #endif diff --git a/src/version.c b/src/version.c index 2a3e08dc6d..28a70fd39c 100644 --- a/src/version.c +++ b/src/version.c @@ -758,6 +758,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 3539, +/**/ 3538, /**/ 3537, |