| 1234567891011121314151617181920212223242526272829303132333435 |
- From a94ddc137bcdd88f088a462c488b89080fd6d01f Mon Sep 17 00:00:00 2001
- From: anteater <65555601+nt8r@users.noreply.github.com>
- Date: Sun, 23 Oct 2022 20:41:00 +0000
- Subject: [PATCH] Fix smooth scrolling
- The first hunk is necessary to receive smooth scroll events.
- The second fixes a visual hang until scrolling ends.
- ---
- src/gtk/exo/exo-icon-view.c | 5 +++--
- 1 file changed, 3 insertions(+), 2 deletions(-)
- diff --git a/src/gtk/exo/exo-icon-view.c b/src/gtk/exo/exo-icon-view.c
- index 3ce98099..9a432620 100644
- --- a/src/gtk/exo/exo-icon-view.c
- +++ b/src/gtk/exo/exo-icon-view.c
- @@ -1601,6 +1601,9 @@ exo_icon_view_realize (GtkWidget *widget)
- attributes.height = MAX (priv->height, allocation.height);
- attributes.event_mask = GDK_EXPOSURE_MASK
- | GDK_SCROLL_MASK
- +#if GTK_CHECK_VERSION(3, 4, 0)
- + | GDK_SMOOTH_SCROLL_MASK
- +#endif
- | GDK_POINTER_MOTION_MASK
- | GDK_BUTTON_PRESS_MASK
- | GDK_BUTTON_RELEASE_MASK
- @@ -3413,8 +3416,6 @@ exo_icon_view_adjustment_changed (GtkAdjustment *adjustment,
-
- if (G_UNLIKELY (icon_view->priv->doing_rubberband))
- exo_icon_view_update_rubberband (GTK_WIDGET (icon_view));
- -
- - gdk_window_process_updates (icon_view->priv->bin_window, TRUE);
- }
- }
-
|
