feature/pgtk f17d0df 2/2: Generate touch-end events on pgtk

[Po Lu]

branch: feature/pgtk
commit f17d0dfb3e61b2b271e012b9b17aac657f6ee09f
Author: Po Lu <luangruo@yahoo.com>
Commit: Po Lu <luangruo@yahoo.com>

    Generate touch-end events on pgtk
    
    * src/pgtkterm.c (scroll_event): Generate touch end events.
---
 src/pgtkterm.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/pgtkterm.c b/src/pgtkterm.c
index 15d5fda..2783162 100644
--- a/src/pgtkterm.c
+++ b/src/pgtkterm.c
@@ -6008,6 +6008,13 @@ scroll_event (GtkWidget * widget, GdkEvent * event, 
gpointer * user_data)
   XSETFRAME (inev.ie.frame_or_window, f);
   inev.ie.arg = Qnil;
 
+  if (gdk_event_is_scroll_stop_event (event))
+    {
+      inev.ie.kind = TOUCH_END_EVENT;
+      evq_enqueue (&inev);
+      return TRUE;
+    }
+
   if (gdk_event_get_scroll_direction (event, &dir))
     {
       switch (dir)