From f17d0dfb3e61b2b271e012b9b17aac657f6ee09f Mon Sep 17 00:00:00 2001
From: Po Lu <luangruo@yahoo.com>
Date: Fri, 3 Dec 2021 10:29:41 +0800
Subject: [PATCH] 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 15d5fda105f..278316268f9 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)
-- 
2.39.5