wayland: Clear tablet tool cursor on proximity out

This ensures that the tablet tool will get the cursor updated even if it
happens to fall within the same window again on the next proximity in.

https://bugzilla.gnome.org/show_bug.cgi?id=785375

diff --git a/gdk/wayland/gdkdevice-wayland.c b/gdk/wayland/gdkdevice-wayland.c
index f3bf2b4064ae8da81d99bd4091dd92843c75a096..739572e190ddd9cc09a08e34740a5aeea01a8676 100644 (file)
--- a/gdk/wayland/gdkdevice-wayland.c
+++ b/gdk/wayland/gdkdevice-wayland.c
@@ -3631,6 +3631,7 @@ tablet_tool_handle_proximity_out (void                      *data,
   tablet->pointer_info.focus = NULL;
 
   gdk_device_update_tool (tablet->current_device, NULL);
+  g_clear_object (&tablet->pointer_info.cursor);
 }
 
 static void