mirror of
https://github.com/brl/mutter.git
synced 2025-02-02 06:42:28 +00:00
75c3f0ffba
We do so whenever a tool enters or leaves proximity. We now also ensure that last_tool is NULL after it leaves proximity, although the CLUTTER_PROXIMITY_OUT event itself should still contain tool information. https://bugzilla.gnome.org/show_bug.cgi?id=773779