umputun / agterm / 30244261338

98%

Build Type

push

github

Committed by web-flow

Commit Message

feat(sidebar): generalize workspace focus into a multi-workspace set (#297)

generalizes the sidebar's focus filter from one workspace to a set plus an on/off flag. `AppStore.focusedWorkspaceID: UUID?` becomes `focusedWorkspaceIDs: Set<UUID>` + `focusEnabled: Bool`, so the marked set survives turning the filter off and peeking at the whole tree costs one toggle instead of losing the selection.

everything downstream of `visibleWorkspaces` inherits the set unchanged: session nav, attention nav, Ctrl-Tab MRU, the ⌃P palette, close-reselection and the reconcile signal. Persistence migrates the legacy single-id snapshot.

**sidebar** - a marked workspace row draws the filled grid icon, the row context menu toggles membership, and the old focus pill is replaced by a workspace filter toggle in the bottom bar.

**control API** - new `workspace.filter` (`on|off|toggle`) for the flag, and `workspace.focus` gains an `add` mode next to `on|off|toggle` that marks without enabling the filter, so a set can be built member by member with the whole tree still on screen. Read-back is per-workspace `focused` on the tree node plus the top-level `workspaceFilter`, reported independently, so a script can record a working set and restore it.

**menu, palette, keymap** - `toggle_workspace_filter` joins the keyless builtin actions.

docs updated across README, the bundled agent skill, `site/docs.html`, `site/commands.html` and the engineering rules.

Coverage Stats

231 of 231 new or added lines in 14 files covered. (100.0%)

22 existing lines in 3 files now uncovered.

6153 of 6285 relevant lines covered (97.9%)

4783773.66 hits per line