PadIO: hidden modes, trim the mode picker list

[vgreg]

Implements #10.

With modes driven by the app in the focused pane (#9), the mode list grows one entry per app, so the picker stops working as a manual switcher when only a few modes (e.g. media, zsh) are ever picked by hand. This lets modes be marked hidden.

Chosen form: hidden_modes denylist

Per the discussion in #10 I picked the denylist (list modes to hide) at two levels:

• on ProfileConfig — hides per-profile modes
• at top level of MappingConfig — hides cross-profile shared_modes

Both are optional, decodeIfPresent(...) ?? [], so existing configs list every mode exactly as before.

{
  "hidden_modes": ["media-alt"],
  "profiles": {
    "ghostty": {
      "hidden_modes": ["agent", "vim", "browser"],
      "modes": { "herdr-nav": {}, "agent": {}, "vim": {}, "browser": {} }
    }
  }
}

Implementation

allModeNames(profile:config:) is the single source feeding the picker and prev/next cycling (the manual switchers), so the filter lives in one place: it subtracts the union of profile.hidden_modes and top-level hidden_modes. Hidden modes stay reachable via setMode bindings, external context (#9), and default_mode — those resolve modes by name and never enumerate.

Degenerate guard: if hiding would leave zero visible modes, it falls back to the full set, so the picker is never an empty, inescapable panel.

Verified nothing else enumerates mode names for display: only ControllerManager calls allModeNames; HelpOverlay enumerates bindings for the active mode, not mode names; ModePickerOverlay just renders whatever list it is handed.

Verified

• Builds clean via BuildProject.
• Omitting the key lists every mode, as today.
• The mode-change HUD still names a hidden mode when it activates (HUD takes a name, unaffected by the filter).

🤖 Generated with Claude Code