Florian Müllner 69d8d1a335 workspace-indicator: Make previews configurable ...

Now that previews scroll when there are too many workspaces,
there is no longer a reason for the 6-workspace limit.

However some users do prefer the menu, so rather than drop it,
turn it into a proper preference.

Closes
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/336

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/316>

2024-04-24 14:23:22 +00:00

..

org.gnome.shell.extensions.workspace-indicator.gschema.xml

workspace-indicator: Make previews configurable

2024-04-24 14:23:22 +00:00