 Florian Müllner
|
762903618d
|
workspace-indicator: Allow changing workspace names from menu
Instead of requiring the user to open the prefs dialog to change
workspace names, make the menu items themselves editable.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/405>
|
2025-06-17 17:02:11 +02:00 |
|
|
Florian Müllner
|
17b37ff577
|
workspace-indicator: Add background when using name label
Panel buttons are flat, so the name+arrow are not immediately
recognizable as a single control. Address this by adding a
background to the button when using the name label.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/405>
|
2025-06-17 17:02:11 +02:00 |
|
|
Florian Müllner
|
5e88c7d891
|
workspace-indicator: Support light style
The window-list extension already includes light styling for
its copy of the workspace indicator. Just copy that over to
support the light variant here as well.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/307>
|
2024-04-24 14:19:51 +00:00 |
|