Make pointer visible when motion notify event

* src/pgtkterm.c (motion_notify_event): set pending_signals to true.
This commit is contained in:
Yuuki Harano 2020-08-07 00:47:38 +09:00 committed by Jeff Walsh
parent e7190d8bb2
commit 2d5ffa5595

View file

@ -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;