diff options
Diffstat (limited to 'meta/packages/gtk+/gtk+-2.10.12/range-no-redraw.patch')
-rw-r--r-- | meta/packages/gtk+/gtk+-2.10.12/range-no-redraw.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/meta/packages/gtk+/gtk+-2.10.12/range-no-redraw.patch b/meta/packages/gtk+/gtk+-2.10.12/range-no-redraw.patch new file mode 100644 index 0000000000..384d71b4fe --- /dev/null +++ b/meta/packages/gtk+/gtk+-2.10.12/range-no-redraw.patch | |||
@@ -0,0 +1,17 @@ | |||
1 | Index: gtk/gtkrange.c | ||
2 | =================================================================== | ||
3 | --- gtk/gtkrange.c (revision 18523) | ||
4 | +++ gtk/gtkrange.c (working copy) | ||
5 | @@ -1979,8 +1979,12 @@ | ||
6 | gtk_widget_queue_draw (GTK_WIDGET (range)); | ||
7 | |||
8 | /* This is so we don't lag the widget being scrolled. */ | ||
9 | +#if 0 | ||
10 | + /* Disable this, the scroll bar lags a bit but the end result is that | ||
11 | + scrolling treeviews is *a lot* smoother. See GNOME #460534. */ | ||
12 | if (GTK_WIDGET_REALIZED (range)) | ||
13 | gdk_window_process_updates (GTK_WIDGET (range)->window, FALSE); | ||
14 | +#endif | ||
15 | } | ||
16 | |||
17 | /* Note that we don't round off to range->round_digits here. | ||