ui/gtk: Fix mouse wheel on 3.4.0 or later
commite229d1efd7323504f90127bbf52e63f4773dc382
authorOGAWA Hirofumi <hirofumi@mail.parknet.co.jp>
Wed, 4 Jan 2017 20:41:16 +0000 (5 05:41 +0900)
committerGerd Hoffmann <kraxel@redhat.com>
Tue, 31 Jan 2017 07:14:52 +0000 (31 08:14 +0100)
tree8179ed24ff38696a91d4c60ee220438bd0168d56
parenta54f0d2ba3094ca43e85a465c7c4ae58c589efc4
ui/gtk: Fix mouse wheel on 3.4.0 or later

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 <hirofumi@mail.parknet.co.jp>
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
ui/gtk.c