text: Ignore synthetic motion eventsfix-cursor-hiding

We want to re-show the obscured mouse cursor when the
user interacts with the mouse, not when the pointer position
relative to the widget changed. So, ignore synthetic
motion events.

Fixes: #3792

1 files changed, 6 insertions, 0 deletions

diff --git a/gtk/gtktextview.c b/gtk/gtktextview.c
index 13b0e67752..7580f20493 100644
--- a/gtk/gtktextview.c
+++ b/gtk/gtktextview.c
@@ -5712,6 +5712,12 @@ gtk_text_view_motion (GtkEventController *controller,
                       double              y,
                       gpointer            user_data)
 {
+  GdkEvent *event;
+
+  event = gtk_event_controller_get_current_event (GTK_EVENT_CONTROLLER (controller));
+  if (gdk_motion_event_is_synthetic (event))
+    return;
+
   gtk_text_view_unobscure_mouse_cursor (GTK_TEXT_VIEW (user_data));
 }