Generate touch-end events on pgtk

* src/pgtkterm.c (scroll_event): Generate touch end events.
2021-12-03 10:29:41 +08:00
parent 054319e9fd
commit f17d0dfb3e
1 changed files with 7 additions and 0 deletions
--- 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)