diff options
Diffstat (limited to 'src/gui_gtk.c')
| -rw-r--r-- | src/gui_gtk.c | 5 |
1 files changed, 5 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 |