On Do, 2017-01-05 at 05:41 +0900, OGAWA Hirofumi wrote:
> On 3.4.0 or later, send GDK_SCROLL_SMOOTH event, instead of
> GDK_SCROLL_UP/DOWN.
>
> This fixes it by converting any smooth scroll to up/down.
> (I.e. without smooth support)
>
> Signed-off-by: OGAWA Hirofumi
Added to ui queue.
thanks,
On 3.4.0 or later, send GDK_SCROLL_SMOOTH event, instead of
GDK_SCROLL_UP/DOWN.
This fixes it by converting any smooth scroll to up/down.
(I.e. without smooth support)
Signed-off-by: OGAWA Hirofumi
---
ui/gtk.c | 13 +
1 file changed, 13 insertions(+)
diff -puN ui/gtk.c~mouse-w