[gtk+] x11: Set event->scroll.is_stop

[Carlos Garnacho <carlosg src gnome org>]

commit f8b8e4eaf8564eb280ee613dbbc89d79411ab19c
Author: Carlos Garnacho <carlosg gnome org>
Date:   Thu Jan 14 20:24:28 2016 +0100

    x11: Set event->scroll.is_stop
    
    We still figure this out from 0/0 scroll events. This method is
    not intended to last forever, but it's something we can cling to
    so far.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=756729

 gdk/x11/gdkdevicemanager-xi2.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gdk/x11/gdkdevicemanager-xi2.c b/gdk/x11/gdkdevicemanager-xi2.c
index 72a8bcd..237bcb2 100644
--- a/gdk/x11/gdkdevicemanager-xi2.c
+++ b/gdk/x11/gdkdevicemanager-xi2.c
@@ -1570,6 +1570,9 @@ gdk_x11_device_manager_xi2_translate_event (GdkEventTranslator *translator,
             event->scroll.type = GDK_SCROLL;
             event->scroll.direction = GDK_SCROLL_SMOOTH;
 
+            if (delta_x == 0.0 && delta_y == 0.0)
+              event->scroll.is_stop = TRUE;
+
             GDK_NOTE(EVENTS,
                      g_message ("smooth scroll: %s\n\tdevice: %u\n\tsource device: %u\n\twindow 
%ld\n\tdeltas: %f %f",
 #ifdef XINPUT_2_2