2 Commits

Author	SHA1	Message	Date
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
Jens Peters	29bf5d5da1	ext/workspaces: moved/renamed from wlr/workspaces ... The ext-workspace-v1 protocol is not wlr/wlroots specific.	2025-06-29 21:51:31 +02:00

Renamed from include/modules/wlr/workspace_manager.hpp (Browse further)