3 Commits

Author	SHA1	Message	Date
Jens Peters	af9c31ccd3	ext/workspaces: fix appearing of hidden workspaces ... Do this by removing the needs-update tracking. The gain was questionable to begin with and turns out it doesn't work correctly with multiple outputs.	2025-09-03 06:53:21 +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