mirror of
https://github.com/brl/mutter.git
synced 2025-01-23 18:09:10 +00:00
2fdf73f64a
If we get a button release, going back to the hover state is the most logical choice.