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