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
This commit is contained in:
Carlos Garnacho 2017-07-25 15:44:30 +02:00
parent 18eeaf704e
commit b53a6fb092

View File

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