Jens Peters 984d0de1fc ext/workspaces: introduce ignore-hidden option ...

Hide hidden workspaces by default, but add an option for overriding.

While at it, move button visibility handling to Workspaces and only
handle add/removal of buttons at WorkspaceManager. This makes it
easier to keep track if sorting is needed.

2025-06-29 21:51:31 +02:00

3.9 KiB

Raw Blame History

View Raw