mirror of
https://github.com/brl/mutter.git
synced 2025-02-04 15:44:10 +00:00
ba895ca8e2
Emit crossing events whenever a grab coming or going would cause a pointer/touchpoint to become inactive on their position. Depending on whether the pointer lies inside the old or new grab widgets, enter or leave events would be generated. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2068>