3 Commits

Author	SHA1	Message	Date
Jens Peters	6c48db6cee	ext/workspaces: log workspace id/name ... This should help to distinguish between internal and external ID in the logs.	2025-06-29 21:51:31 +02:00
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 src/modules/wlr/workspace_manager.cpp (Browse further)