umputun / agterm / 29616893331

98%

push

github

feat: add Interface settings tab to toggle title-bar and sidebar chrome

Adds a new **Interface** tab to Settings for hiding or showing individual title-bar and sidebar-footer chrome elements, all shown by default.

**Title bar:** the sidebar toggle, session name, window name, and the recent-sessions, scratch, split, dashboard, and quick-terminal buttons. **Sidebar footer:** the new-workspace, new-session, and flagged-view buttons. The attention bell keeps its own existing opt-in and isn't duplicated here. Session name and window name toggle independently. Title-bar group dividers draw only where two groups that each still show 2+ buttons meet, so a group reduced to one button flows in without a bracketing separator.

Persistence is a single `AppSettings.hiddenInterfaceElements` (`[String]?`, tolerant raw-string decode) over the host-free `InterfaceElement` enum, mirrored into `GhosttyApp` and re-gated live in every open window via `.agtermAppearanceChanged`, the same chrome-mirror pattern as `attentionButtonEnabled`. GUI-only: every gated element's action already has full control-API coverage, so there are no new socket commands.

The title-bar building was split into `WindowContentView+Titlebar.swift` to keep `WindowContentView.swift` under the 1000-line limit, and the divider rule lives in host-free `InterfaceElement.titlebarGroupDividers` with a boundary table test.

Docs updated: `README.md`, `site/docs.html`, and the settings rule. A second commit is an rr review-loop cleanup pass: a forward-compat fix so unknown future element names survive a toggle, a small dedup, a stale doc line, and the divider-rule hoist plus test.

19 of 34 new or added lines in 1 file covered. (55.88%)

5324 of 5457 relevant lines covered (97.56%)

5509546.13 hits per line