diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/pgtkterm.c | 7 |
1 files changed, 7 insertions, 0 deletions
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) | |||
| 6008 | XSETFRAME (inev.ie.frame_or_window, f); | 6008 | XSETFRAME (inev.ie.frame_or_window, f); |
| 6009 | inev.ie.arg = Qnil; | 6009 | inev.ie.arg = Qnil; |
| 6010 | 6010 | ||
| 6011 | if (gdk_event_is_scroll_stop_event (event)) | ||
| 6012 | { | ||
| 6013 | inev.ie.kind = TOUCH_END_EVENT; | ||
| 6014 | evq_enqueue (&inev); | ||
| 6015 | return TRUE; | ||
| 6016 | } | ||
| 6017 | |||
| 6011 | if (gdk_event_get_scroll_direction (event, &dir)) | 6018 | if (gdk_event_get_scroll_direction (event, &dir)) |
| 6012 | { | 6019 | { |
| 6013 | switch (dir) | 6020 | switch (dir) |