Problem: GTK3: with 'rightleft' set scrollbar may move unintentionally.
Solution: Ignore events while moving the scrollbar thumb. (closes #8958)
{
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);
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
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 3539,
/**/
3538,
/**/