Files
gnome-shell-extensions/extensions
Florian Müllner 1340b209f9 window-list: Simplify radio handling
Instead of handling the active state manually and updating settings
on changes, we can use GActions to leave the nitty-gritty to GTK.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/181>
2021-08-13 05:22:41 +02:00
..
2021-08-13 04:48:22 +02:00
2021-08-13 04:48:22 +02:00
2021-08-13 04:48:22 +02:00
2021-08-13 04:48:22 +02:00