input: finalize mouse selection on a pointer-leave event on the GRID surface

If a mouse selection was ongoing, and the user switched
workspace (probably using the keyboard...), and then back, the
selection was still treated as ongoing, while all other mouse state
has been reset.

This meant the user had to tap at least once to stop the selection.
This commit is contained in:
Daniel Eklöf 2021-11-25 15:21:53 +01:00
parent 2eef28590a
commit 325ad6dd4e
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
2 changed files with 9 additions and 1 deletions

View file

@ -45,6 +45,11 @@
### Deprecated
### Removed
### Fixed
* An ongoing mouse selection is now finalized on a pointer leave event
(for example by switching workspace while doing a mouse selection).
### Security
### Contributors