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