Make pointer visible when motion notify event

* src/pgtkterm.c (motion_notify_event): set pending_signals to true.

diff --git a/src/pgtkterm.c b/src/pgtkterm.c
index f49bcac29431ac96ed18b54713d6d864ac44b72f..dc36f38a5c7b3541225c22f68d3364309baa152b 100644 (file)
--- a/src/pgtkterm.c
+++ b/src/pgtkterm.c
@@ -5900,6 +5900,9 @@ motion_notify_event (GtkWidget * widget, GdkEvent * event,
   struct pgtk_display_info *dpyinfo;
   Mouse_HLInfo *hlinfo;
 
+  /* This is needed to make pointer visible when motion_notify event */
+  pending_signals = true;
+
   EVENT_INIT (inev.ie);
   inev.ie.kind = NO_EVENT;
   inev.ie.arg = Qnil;