mirror of
https://github.com/brl/mutter.git
synced 2025-02-16 13:24:09 +00:00
![Florian Müllner](/assets/img/avatar_default.png)
There are a couple of places in gnome-shell where we aren't interested in which workspace is active, but whether a given workspace is active. Of course it's easy to use the former to determine the latter, but we can offer a convenience property on the workspace itself almost for free, so let's do that. https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1336