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