1
0
mirror of https://github.com/brl/mutter.git synced 2025-03-22 11:13:53 +00:00
Florian Müllner c1933cfd09 workspace: Add :active convenience property
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
2020-06-29 14:07:20 +00:00
..
2019-03-12 00:27:07 +00:00
2019-03-12 00:27:07 +00:00
2018-11-06 17:17:36 +01:00
2020-05-26 16:35:00 +02:00
2018-11-06 17:17:36 +01:00
2018-11-06 17:17:36 +01:00
2020-04-16 15:05:52 +02:00
2020-05-21 23:10:23 +00:00