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

..

workspace_manager_binding.hpp

ext/workspaces: moved/renamed from wlr/workspaces

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

workspace_manager.hpp

ext/workspaces: introduce ignore-hidden option

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