Fix mouse cursor doesn't appear on motion events on xwidgets

* src/xwidget.c (xwidget_osr_event_forward): Propagate motion notify.

diff --git a/src/xwidget.c b/src/xwidget.c
index e078a28a35b987e34e170d102c2a7b39ade82eb8..e929df0a496bede1ad46dddafc51e3ac8d0114ae 100644 (file)
--- a/src/xwidget.c
+++ b/src/xwidget.c
@@ -527,6 +527,11 @@ xwidget_osr_event_forward (GtkWidget *widget, GdkEvent *event,
      perhaps in xwgir_event_cb.  */
   gtk_main_do_event (eventcopy);
 
+#ifdef HAVE_PGTK
+  /* Pgtk code needs this event */
+  if (event->type == GDK_MOTION_NOTIFY)
+    return FALSE;
+#endif
   /* Don't propagate this event further.  */
   return TRUE;
 }