@timurproko/a1 0.2.6-dev.736 → 0.2.7-dev.1221

package/dist/features/owned-ui/reference-screen-app.js

@@ -48,6 +48,7 @@ export class ReferenceScreenApp {
     #title;
     #document;
     #scrollSettings;
+    #pinned;
     #scroll = 0;
     #interruptArmed = false;
     #failure = null;
@@ -67,6 +68,7 @@ export class ReferenceScreenApp {
         this.#title = options.title;
         this.#document = options.document;
         this.#scrollSettings = options.scrollSettings;
+        this.#pinned = options.pinned === true;
     }
     onActivate(host) {
         const ready = this.#document.ready;
@@ -139,7 +141,7 @@ export class ReferenceScreenApp {
         const withRail = withScrollbarRail(body.slice(0, bodyHeight), geometry, contentWidth, theme, { presentation });
         const hint = this.#interruptArmed
             ? theme.fg("dim", " press ctrl+c again to exit a1")
-            : renderShortcutHintsWithClose(REFERENCE_SCREEN_SHORTCUTS.hintEntries(SCOPE), theme, rect.width, 1);
+            : renderShortcutHintsWithClose(this.#hintEntries(), theme, rect.width, 1);
         // Compatibility: the v2 reference screen frames its document between two border-coloured rules.
         const rule = theme.fg("border", "─".repeat(rect.width));
         // Invariant: dialog chrome shares the title's one-cell inset; document content keeps its own layout.
@@ -153,7 +155,8 @@ export class ReferenceScreenApp {
             return { consumed: false };
         switch (action) {
             case "close":
-                host.close();
+                if (!this.#pinned)
+                    host.close();
                 return { consumed: true };
             case "up":
                 this.#scrollBy(-1);
@@ -216,6 +219,13 @@ export class ReferenceScreenApp {
         }
         return { owned: true, changed: true };
     }
+    // Invariant: a pinned screen is its tab and `Esc` does not close it, so it shows no close hint.
+    #hintEntries() {
+        const entries = REFERENCE_SCREEN_SHORTCUTS.hintEntries(SCOPE);
+        if (!this.#pinned)
+            return entries;
+        return entries.filter(entry => entry.key !== DIALOG_CLOSE_SHORTCUT_HINT.key || entry.action !== DIALOG_CLOSE_SHORTCUT_HINT.action);
+    }
     // Invariant: the title is the first document row, as in v2, so it scrolls with the document.
     #content(width, theme) {
         // Compatibility: one leading space, so the title lines up with the padded Markdown rows as in v2.

package/dist/features/owned-ui/resources/release-notes.json

@@ -1,6 +1,10 @@
 {
   "schema": "a1-release-notes-v1",
   "releases": [
+    {
+      "version": "0.2.6",
+      "markdown": "## [0.2.6] - 2026-10-10\n\n### New Features\n\n- customize the UI accent ([#718](https://github.com/timurproko/a1/pull/718))\n- allow concurrent worktree cleanup ([#725](https://github.com/timurproko/a1/pull/725))\n- add background appearance options ([#738](https://github.com/timurproko/a1/pull/738))\n\n### Changed\n\n- optimize Windows release validation ([#705](https://github.com/timurproko/a1/pull/705))\n- allow human auto-merge ([#711](https://github.com/timurproko/a1/pull/711))\n- remove disposable root links ([#713](https://github.com/timurproko/a1/pull/713))\n- upgrade pinned Pi to 1.1.0 ([#715](https://github.com/timurproko/a1/pull/715))\n- align menu and input counters ([#726](https://github.com/timurproko/a1/pull/726))\n- narrow the session backend port ([#730](https://github.com/timurproko/a1/pull/730))\n- extract session presenters owner ([#731](https://github.com/timurproko/a1/pull/731))\n- share helper pools and keybindings per process ([#733](https://github.com/timurproko/a1/pull/733))\n- introduce a process-level engine host ([#734](https://github.com/timurproko/a1/pull/734))\n- split the terminal host from the session presenter ([#735](https://github.com/timurproko/a1/pull/735))\n- key worktree claims by agent ([#736](https://github.com/timurproko/a1/pull/736))\n- follow the menu opening on the value in effect ([#752](https://github.com/timurproko/a1/pull/752))\n\n### Fixed\n\n- distinguish changelog titles ([#707](https://github.com/timurproko/a1/pull/707))\n- route release reopening validation ([#708](https://github.com/timurproko/a1/pull/708))\n- preserve resume row colors ([#709](https://github.com/timurproko/a1/pull/709))\n- prevent selector opening flash ([#710](https://github.com/timurproko/a1/pull/710))\n- recover missing generation ([#712](https://github.com/timurproko/a1/pull/712))\n- support standalone documentation ([#716](https://github.com/timurproko/a1/pull/716))\n- prevent prompt selection flash ([#719](https://github.com/timurproko/a1/pull/719))\n- simplify value feedback ([#720](https://github.com/timurproko/a1/pull/720))\n- keep final validation on PR ([#721](https://github.com/timurproko/a1/pull/721))\n- make tree selection full width ([#722](https://github.com/timurproko/a1/pull/722))\n- allow selection across progress spinner ([#727](https://github.com/timurproko/a1/pull/727))\n- order session shell construction and teardown ([#732](https://github.com/timurproko/a1/pull/732))\n- disambiguate same-name path chips ([#737](https://github.com/timurproko/a1/pull/737))\n- distinguish brand blue accent ([#739](https://github.com/timurproko/a1/pull/739))\n- open value menus with Enter ([#740](https://github.com/timurproko/a1/pull/740))\n- hide refreshed model status ([#741](https://github.com/timurproko/a1/pull/741))\n- open value menus over their anchor ([#742](https://github.com/timurproko/a1/pull/742))\n- recognize method-specific auto-merge enables ([#743](https://github.com/timurproko/a1/pull/743))\n- retry Windows lock release contention ([#753](https://github.com/timurproko/a1/pull/753))\n"
+    },
     {
       "version": "0.2.5",
       "markdown": "## [0.2.5] - 2026-10-07\n\n### New Features\n\n- show session info full screen ([#680](https://github.com/timurproko/a1/pull/680))\n- redesign session tree dialog ([#682](https://github.com/timurproko/a1/pull/682))\n- add name command input dialog ([#694](https://github.com/timurproko/a1/pull/694))\n\n### Changed\n\n- refine animated separator ([#681](https://github.com/timurproko/a1/pull/681))\n- upgrade pinned Pi to 1.0.4 ([#683](https://github.com/timurproko/a1/pull/683))\n- unify selection treatment ([#686](https://github.com/timurproko/a1/pull/686))\n- align project trust dialogs ([#687](https://github.com/timurproko/a1/pull/687))\n- standardize share dialog ([#689](https://github.com/timurproko/a1/pull/689))\n- align Resume Session dialog ([#693](https://github.com/timurproko/a1/pull/693))\n- unify dialog close hints ([#695](https://github.com/timurproko/a1/pull/695))\n- accent model scope markers ([#696](https://github.com/timurproko/a1/pull/696))\n\n### Fixed\n\n- wrap session file after label ([#684](https://github.com/timurproko/a1/pull/684))\n- align thinking markers with models ([#685](https://github.com/timurproko/a1/pull/685))\n- place new-session notice above prompt ([#688](https://github.com/timurproko/a1/pull/688))\n- close dialogs with Ctrl+C ([#690](https://github.com/timurproko/a1/pull/690))\n- restore suggestion after Backspace ([#691](https://github.com/timurproko/a1/pull/691))\n- cycle dialog filters backward ([#692](https://github.com/timurproko/a1/pull/692))\n- avoid initial value-menu highlight ([#697](https://github.com/timurproko/a1/pull/697))\n- keep session root expanded ([#698](https://github.com/timurproko/a1/pull/698))\n- hide skill prefixes in collapsed menu ([#699](https://github.com/timurproko/a1/pull/699))\n- omit space after command completion ([#700](https://github.com/timurproko/a1/pull/700))\n- stabilize values and add undo ([#701](https://github.com/timurproko/a1/pull/701))\n- standardize typing search hints ([#702](https://github.com/timurproko/a1/pull/702))\n- show tree time toggle state ([#703](https://github.com/timurproko/a1/pull/703))\n- refine resume search hints ([#704](https://github.com/timurproko/a1/pull/704))\n"

package/dist/features/owned-ui/settings-app.d.ts

@@ -1,8 +1,9 @@
 import type { AppHostServices, UiApp } from "../../ui/apps/index.js";
 import { ShortcutRegistry, type PaneInputResult, type PaneMouseEvent, type PaneRect } from "../../ui/components/index.js";
 import type { OwnedSettingsManager } from "../../ui/settings/index.js";
+import type { SettingsSearchInputFactory } from "./settings-search-input.js";
 export { SETTINGS_APP_ID, SETTINGS_ROUTE } from "./settings-route.js";
-type Action = "move-up" | "move-down" | "block-up" | "block-down" | "first" | "last" | "page-up" | "page-down" | "previous-value" | "next-value" | "activate" | "open-filter" | "close" | "undo" | "part-previous" | "part-next" | "part-change";
+type Action = "move-up" | "move-down" | "block-up" | "block-down" | "first" | "last" | "page-up" | "page-down" | "previous-value" | "next-value" | "activate" | "edit-filter" | "close" | "undo" | "part-previous" | "part-next" | "part-change";
 export declare const SETTINGS_SHORTCUTS: ShortcutRegistry<Action>;
 /**
  * The settings screen. Rows, sticky headers, scrolling, and the keymap come from
@@ -12,7 +13,16 @@ export declare const SETTINGS_SHORTCUTS: ShortcutRegistry<Action>;
 export declare class SettingsApp implements UiApp {
     #private;
     readonly id = "settings";
-    constructor(session: OwnedSettingsManager);
+    /**
+     * `pinned` presents the screen as a resident Settings tab, which offers no screen-level close;
+     * `configurePlusMenu` opens the tab bar's Plus Menu dialog in place of this screen's own.
+     */
+    constructor(session: OwnedSettingsManager, options: {
+        readonly pinned?: boolean;
+        readonly searchInputFactory: SettingsSearchInputFactory;
+        readonly copyText?: (text: string) => void;
+        readonly configurePlusMenu?: (() => boolean) | null;
+    });
     onActivate(host: AppHostServices): void;
     onClose(_host: AppHostServices): void;
     render(rect: PaneRect, host: AppHostServices): readonly string[];

package/dist/features/owned-ui/settings-app.js

@@ -1,5 +1,6 @@
 import { DIALOG_BACK_SHORTCUT_HINT, DIALOG_CLOSE_SHORTCUT_HINT } from "../../contracts/presentation/index.js";
-import { GLOBAL_SCOPE, LineInput, PLAIN_THEME, ShortcutRegistry, assertNoShortcutConflicts, blockJumpTarget, numericValues, RAIL_COLUMNS, renderDialogPanel, renderSteppedDialogPanel, renderEmptyState, renderGroupHeader, renderInputRow, renderListRow, renderNote, renderShortcutHintsWithClose, menuRowAt, regionAt, renderValueMenu, withScrollbarRail, stepperEnds, steppedValue, truncateToWidth, valueColumnFor, valueMenuFrame, blockRowSpan, displayWidth, handleLineInputKey, humanizeLabel, humanizeTitle, indexOfKey, layoutList, moveSelection, rowKey, scrollForSelection, scrollForTrackPage, scrollbarGeometry, scrollbarPresentation, ScrollbarRails, scrollbarWheelRows, selectableIndexes, } from "../../ui/components/index.js";
+import { GLOBAL_SCOPE, LineInput, PLAIN_THEME, ShortcutRegistry, assertNoShortcutConflicts, blockJumpTarget, numericValues, RAIL_COLUMNS, renderDialogPanel, renderSteppedDialogPanel, renderEmptyState, renderGroupHeader, renderListRow, renderNote, renderShortcutHintsWithClose, menuRowAt, regionAt, renderValueMenu, withScrollbarRail, stepperEnds, steppedValue, truncateToWidth, valueColumnFor, valueMenuFrame, blockRowSpan, displayWidth, formatLocalTime, handleLineInputKey, humanizeLabel, humanizeTitle, indexOfKey, layoutList, moveSelection, rowKey, scrollForSelection, scrollForTrackPage, scrollbarGeometry, scrollbarPresentation, ScrollbarRails, scrollbarWheelRows, selectableIndexes, } from "../../ui/components/index.js";
+import { PLUS_MENU_SETTING_ID, PlusMenuDialog } from "./plus-menu-dialog.js";
 import { SETTINGS_APP_ID } from "./settings-route.js";
 export { SETTINGS_APP_ID, SETTINGS_ROUTE } from "./settings-route.js";
 const SCOPE = SETTINGS_APP_ID;
@@ -19,11 +20,10 @@ const RAIL_KEY = "settings";
 // Compatibility: the transcript rail stays lit this long after a scroll, and repaints just after.
 const SCROLL_LINGER_MS = 900;
 const SCROLL_LINGER_REPAINT_MS = 925;
-const SEARCH_PLACEHOLDER = "search settings";
 /** What a structured value offers instead of printing itself. */
 const CONFIGURE = "configure";
 export const SETTINGS_SHORTCUTS = new ShortcutRegistry();
-SETTINGS_SHORTCUTS.declare({ key: "/", scope: SCOPE, description: "Search settings", section: "Change", hint: { keys: "/", does: "search" } }, "open-filter");
+SETTINGS_SHORTCUTS.declare({ key: "edit", scope: SCOPE, description: "Search settings", section: "Change", hint: { keys: "Type", does: "search" } }, "edit-filter");
 SETTINGS_SHORTCUTS.declare({ key: "up", scope: SCOPE, description: "Previous setting", section: "Navigate", hint: { keys: "↑↓", does: "navigate" } }, "move-up");
 SETTINGS_SHORTCUTS.declare({ key: "down", scope: SCOPE, description: "Next setting", section: "Navigate", hint: { keys: "↑↓", does: "navigate" } }, "move-down");
 SETTINGS_SHORTCUTS.declare({ key: "shift+up", scope: SCOPE, description: "Previous section", section: "Navigate", hint: { keys: "Shift+↑↓", does: "jump" } }, "block-up");
@@ -78,7 +78,6 @@ const KEYS = {
     "\r": "enter",
     "\n": "enter",
     " ": "space",
-    "/": "/",
     "\u001a": "ctrl+z",
 };
 /**
@@ -94,12 +93,9 @@ export class SettingsApp {
     // Invariant: keyboard navigation requests visibility once; pointer scrolling then stays free.
     #selectionNeedsReveal = true;
     #reveal;
-    #notice = null;
-    #filter = null;
-    #scrollBeforeFilter = null;
+    #search;
     #menu = null;
     #structured = null;
-    #interruptArmed = false;
     // Invariant: pending values remain visible until the source reflects them.
     #pending = new Map();
     #undoHistory = [];
@@ -122,8 +118,20 @@ export class SettingsApp {
     #activeUntil = 0;
     #activityTimer;
     #renderedScroll;
-    constructor(session) {
+    #options;
+    /**
+     * `pinned` presents the screen as a resident Settings tab, which offers no screen-level close;
+     * `configurePlusMenu` opens the tab bar's Plus Menu dialog in place of this screen's own.
+     */
+    constructor(session, options) {
         this.#session = session;
+        this.#options = { pinned: options.pinned === true, configurePlusMenu: options.configurePlusMenu ?? null };
+        this.#search = {
+            input: null,
+            scrollBefore: null,
+            factory: options.searchInputFactory,
+            copyText: options.copyText ?? (() => { }),
+        };
     }
     onActivate(host) {
         this.#closed = false;
@@ -133,18 +141,19 @@ export class SettingsApp {
         this.#closed = true;
         this.#undoHistory.length = 0;
         this.#undoRequests = 0;
+        this.#search.input?.setFocused(false);
+        this.#search.input = null;
         this.#clearActivityTimer();
         this.#rails.clear();
     }
     render(rect, host) {
         const theme = host.theme ?? PLAIN_THEME;
-        this.#interruptArmed = host.interruptArmed;
         const rows = this.#rows();
         const selected = indexOfKey(rows, this.#selectedKey);
         const footer = this.#footerLines(rect.width, theme);
         // Invariant: the shared search input and structured panel each begin with their own standard rule.
         // That rule replaces the ordinary content/footer divider instead of stacking beneath it.
-        const dividerRows = this.#filter === null && this.#structured === null ? SETTINGS_FOOTER_DIVIDER_ROWS : 0;
+        const dividerRows = this.#search.input === null && this.#structured === null ? SETTINGS_FOOTER_DIVIDER_ROWS : 0;
         const topRows = Math.min(SETTINGS_TOP_RULE_ROWS, rect.height);
         const contentHeight = Math.max(0, rect.height - topRows - dividerRows - footer.length);
         let titleRows = this.#scroll <= 0 ? Math.min(SETTINGS_TITLE_ROWS, contentHeight) : 0;
@@ -205,7 +214,7 @@ export class SettingsApp {
         const body = [];
         this.#frameRows = [];
         if (rows.length === 0) {
-            body.push(...renderEmptyState("No settings found.", "👀", bodyHeight, contentWidth, theme));
+            body.push(...renderEmptyState("No settings found", "👀", bodyHeight, contentWidth, theme));
         }
         else {
             if (layout.topPadding > 0)
@@ -240,27 +249,32 @@ export class SettingsApp {
         return frame.slice(0, rect.height).concat(Array(Math.max(0, rect.height - frame.length)).fill(""));
     }
     onInput(data, host) {
+        if (data === "\u0003" && this.#search.input === null)
+            return { consumed: false };
         if (this.#structured !== null)
             return this.#structuredKey(data);
         if (this.#menu !== null)
             return this.#menuKey(data);
-        if (this.#filter !== null)
+        if (this.#search.input !== null)
             return this.#filterKey(data);
-        const key = KEYS[data] ?? data;
-        const action = SETTINGS_SHORTCUTS.resolve(key, SCOPE);
-        if (action === null)
-            return { consumed: false };
+        const key = KEYS[data];
+        const action = key === undefined ? null : SETTINGS_SHORTCUTS.resolve(key, SCOPE);
+        if (action === null) {
+            if (!this.#search.factory.isTextInput(data))
+                return { consumed: false };
+            openSettingsSearch(this.#search, host, data, this.#scroll);
+            this.#scroll = 0;
+            return { consumed: true };
+        }
         const rows = this.#rows();
         const selected = indexOfKey(rows, this.#selectedKey);
         switch (action) {
             case "close":
-                host.close();
-                return { consumed: true };
-            case "open-filter":
-                this.#scrollBeforeFilter = this.#scroll;
-                this.#filter = new LineInput("");
-                this.#notice = null;
+                if (!this.#options.pinned)
+                    host.close();
                 return { consumed: true };
+            case "edit-filter":
+                return { consumed: false };
             case "activate": {
                 const row = rows[selected];
                 if (row?.kind === "element" && row.value.structured)
@@ -310,6 +324,9 @@ export class SettingsApp {
         }
     }
     onMouse(event, _host) {
+        const searchPointer = handleSettingsSearchPointer(this.#search, event, this.#panelTopForFrame);
+        if (searchPointer !== null)
+            return searchPointer;
         const menu = this.#menu;
         const frame = this.#menuFrame;
         if (menu !== null && frame !== null) {
@@ -349,13 +366,13 @@ export class SettingsApp {
             // Invariant: the whole list pane owns wheel scrolling, including blank space beside
             // short labels. A fixed structured dialog keeps that content interaction available.
             const screenRow = event.row - 1;
-            const wheelBottom = this.#filter === null
+            const wheelBottom = this.#search.input === null
                 ? this.#bodyTopForFrame + this.#bodyHeightForFrame
                 : this.#panelTopForFrame + SETTINGS_SEARCH_INPUT_ROWS + SETTINGS_STATUS_ROWS;
             if (screenRow >= 0 && screenRow < wheelBottom) {
                 const distance = scrollbarWheelRows(this.#scrollbarSpeed());
-                if (this.#filter !== null)
-                    this.#scrollBeforeFilter = null;
+                if (this.#search.input !== null)
+                    this.#search.scrollBefore = null;
                 this.#scroll = Math.max(0, this.#scroll + (event.kind === "wheel-down" ? distance : -distance));
                 return { consumed: true };
             }
@@ -385,7 +402,6 @@ export class SettingsApp {
             const index = rows.findIndex(candidate => rowKey(candidate) === row.key);
             if (index >= 0) {
                 // Rationale: the pointer acts where it points; the arrow belongs to the keyboard.
-                this.#notice = null;
                 if (this.#hoverRegion === "minus")
                     this.#cycle(rows, index, -1);
                 else if (this.#hoverRegion === "plus")
@@ -458,10 +474,8 @@ export class SettingsApp {
         // and pointing at it is not a request for anything else.
         if (typeof shown === "number")
             return;
-        if (!entry.editable || entry.choices === null || entry.choices.length === 0) {
-            this.#notice = `${labelOf(entry)} cannot be changed here`;
+        if (!entry.editable || entry.choices === null || entry.choices.length === 0)
             return;
-        }
         const current = shown === null ? 0 : Math.max(0, entry.choices.indexOf(shown));
         const anchorKey = `${entry.backend}:${entry.id}`;
         // Compatibility: pointer opening already brightens the source value. Enter borrows that
@@ -470,15 +484,15 @@ export class SettingsApp {
             this.#hoverKey = anchorKey;
             this.#hoverRegion = "value";
         }
-        // Invariant: pointer opening stays inactive because it targeted the setting value, while
-        // Enter explicitly starts keyboard choice navigation at the value already in effect.
+        // Invariant: the menu lays the value in effect over its source row, so both a press on
+        // that value and Enter start on it: the pointer is already resting on that entry.
         this.#menu = {
             entry,
             current,
             anchorKey,
             choices: entry.choices,
             keyboardOpened: selectCurrent,
-            index: selectCurrent ? current : -1,
+            index: current,
         };
     }
     #closeMenu(menu) {
@@ -492,10 +506,11 @@ export class SettingsApp {
     #openStructured(entry) {
         // Invariant: the flags come from the declaration, not from the stored value: an unset
         // flag still has a row, showing the default the source would apply.
-        if (entry.flags.length === 0) {
-            this.#notice = `${labelOf(entry)} has nothing to configure`;
+        if (entry.flags.length === 0)
+            return;
+        // Rationale: beside a tab bar, its own Plus Menu dialog configures `+`, so both ways look the same.
+        if (entry.backend === "a1" && entry.id === PLUS_MENU_SETTING_ID && this.#options.configurePlusMenu?.() === true)
             return;
-        }
         const stored = typeof entry.rawValue === "object" && entry.rawValue !== null && !Array.isArray(entry.rawValue)
             ? entry.rawValue
             : {};
@@ -516,6 +531,7 @@ export class SettingsApp {
             entry,
             flags: entry.flags.map(flag => flag.key),
             modelDialog,
+            plusMenu: entry.backend === "a1" && entry.id === PLUS_MENU_SETTING_ID ? new PlusMenuDialog(entry.flags) : null,
             filter: modelDialog ? new LineInput("") : null,
             step: "model",
             modelKey: null,
@@ -530,6 +546,12 @@ export class SettingsApp {
             return { consumed: false };
         if (open.modelDialog)
             return this.#modelDialogKey(open, data);
+        if (open.plusMenu !== null) {
+            const outcome = open.plusMenu.handle(KEYS[data] ?? data, data, key => this.#toggleFlag(open.flags.indexOf(key)));
+            if (outcome === "close")
+                this.#structured = null;
+            return { consumed: true };
+        }
         switch (SETTINGS_SHORTCUTS.resolve(KEYS[data] ?? data, DIALOG_SCOPE)) {
             case "close":
                 this.#structured = null;
@@ -648,13 +670,11 @@ export class SettingsApp {
             const failure = changeFailure(outcome);
             if (failure === null) {
                 this.#recordUndo({ kind: "structured", sequence, entry: open.entry, previous, forward });
-                this.#notice = null;
                 return;
             }
             // Concurrency: only roll back the dialog if no later press has moved the record on.
             if (this.#structured === open && sameRecord(open.record, forward))
                 replaceRecord(open.record, previous);
-            this.#notice = `Could not save ${labelOf(open.entry)}: ${failure}`;
         });
     }
     #menuKey(data) {
@@ -686,18 +706,18 @@ export class SettingsApp {
         return { consumed: true };
     }
     #filterKey(data) {
-        const input = this.#filter;
+        const input = this.#search.input;
         if (input === null)
             return { consumed: false };
-        const key = KEYS[data];
-        if (SETTINGS_SHORTCUTS.resolve(key ?? data, SCOPE) === "undo") {
-            this.#undo();
+        if (data === "\u001b" || (data === "\u0003" && !input.hasSelection())) {
+            this.#scroll = closeSettingsSearch(this.#search) ?? this.#scroll;
             return { consumed: true };
         }
+        const key = KEYS[data];
         // Rationale: the boundary chords jump through the results; plain Home and End stay with
-        // the search cursor, which the shared line input moves below.
+        // the search cursor, which the shared interactive input moves below.
         if (key === "ctrl+home" || key === "ctrl+end") {
-            this.#scrollBeforeFilter = null;
+            this.#search.scrollBefore = null;
             const rows = this.#rows();
             const selectable = selectableIndexes(rows);
             const target = key === "ctrl+end" ? selectable.at(-1) : selectable[0];
@@ -709,7 +729,7 @@ export class SettingsApp {
             return { consumed: true };
         }
         if (key === "up" || key === "down" || key === "shift+up" || key === "shift+down") {
-            this.#scrollBeforeFilter = null;
+            this.#search.scrollBefore = null;
             const rows = this.#rows();
             // Rationale: nothing found means nothing to move through; the key is still swallowed
             // rather than typed into the search.
@@ -726,15 +746,10 @@ export class SettingsApp {
             this.#select(rows, moveSelection(rows, selected, forward ? 1 : -1));
             return { consumed: true };
         }
-        const outcome = handleLineInputKey(input, data);
-        if (outcome.kind === "cancelled") {
-            this.#filter = null;
-            if (this.#scrollBeforeFilter !== null)
-                this.#scroll = this.#scrollBeforeFilter;
-            this.#scrollBeforeFilter = null;
-        }
-        else {
-            this.#scrollBeforeFilter = null;
+        const before = input.getText();
+        input.handleInput(data);
+        if (input.getText() !== before) {
+            this.#search.scrollBefore = null;
             this.#scroll = 0;
         }
         return { consumed: true };
@@ -744,10 +759,8 @@ export class SettingsApp {
         if (row === undefined || row.kind !== "element")
             return;
         const entry = row.value;
-        if (!entry.editable) {
-            this.#notice = `${labelOf(entry)} cannot be changed here`;
+        if (!entry.editable)
             return;
-        }
         const shown = this.#shownValue(entry);
         if (typeof shown === "number") {
             // Rationale: at the end of the range there is nothing to say: the arrow already reads
@@ -758,10 +771,8 @@ export class SettingsApp {
             return;
         }
         const choices = entry.choices;
-        if (choices === null || choices.length === 0) {
-            this.#notice = `${labelOf(entry)} cannot be changed here`;
+        if (choices === null || choices.length === 0)
             return;
-        }
         const current = shown === null ? -1 : choices.indexOf(shown);
         const next = choices[current < 0
             ? (delta > 0 ? 0 : choices.length - 1)
@@ -781,7 +792,6 @@ export class SettingsApp {
             if (failure !== null) {
                 if (this.#pending.get(key) === value)
                     this.#pending.delete(key);
-                this.#notice = `Could not save ${labelOf(entry)}: ${failure}`;
                 return;
             }
             if (previous !== null && previous !== value)
@@ -789,7 +799,6 @@ export class SettingsApp {
             // Concurrency: a later press may have moved on; only the last request clears itself.
             if (this.#pending.get(key) === value)
                 this.#pending.delete(key);
-            this.#notice = null;
         });
     }
     #shownValue(entry) {
@@ -841,13 +850,8 @@ export class SettingsApp {
     }
     #finishUndo(record, outcome) {
         const failure = changeFailure(outcome);
-        if (failure !== null) {
+        if (failure !== null)
             this.#recordUndo(record);
-            this.#notice = `Could not restore ${labelOf(record.entry)}: ${failure}`;
-        }
-        else {
-            this.#notice = null;
-        }
         this.#undoActive = false;
         this.#drainUndo();
     }
@@ -878,10 +882,9 @@ export class SettingsApp {
             return;
         this.#selectedKey = rowKey(rows[index]);
         this.#selectionNeedsReveal = true;
-        this.#notice = null;
     }
     #rows() {
-        const needle = this.#filter?.value.trim().toLowerCase() ?? "";
+        const needle = this.#search.input?.getText().trim().toLowerCase() ?? "";
         const matches = (entry) => needle.length === 0
             || entry.id.toLowerCase().includes(needle)
             || labelOf(entry).toLowerCase().includes(needle);
@@ -944,7 +947,7 @@ export class SettingsApp {
             ? CONFIGURE
             : shown === null
                 ? describeRaw(entry.rawValue)
-                : displayValue(shown);
+                : displaySettingValue(entry, shown);
         const range = rangeOf(entry);
         return {
             key,
@@ -961,11 +964,11 @@ export class SettingsApp {
             return lines;
         }
         const state = {
-            choices: menu.choices.map(choice => displayValue(choice)),
+            choices: menu.choices.map(choice => displaySettingValue(menu.entry, choice)),
             ...(menu.entry.id === "accentColor" ? {
                 previews: menu.choices.map(choice => theme.accentPreview?.(String(choice), "■") ?? ""),
             } : {}),
-            current: this.#shownValue(menu.entry) === null ? null : displayValue(this.#shownValue(menu.entry)),
+            current: this.#shownValue(menu.entry) === null ? null : displaySettingValue(menu.entry, this.#shownValue(menu.entry)),
             index: menu.index,
         };
         const frame = valueMenuFrame(state, {
@@ -983,6 +986,8 @@ export class SettingsApp {
     #dialogLines(open, width, theme) {
         if (open.modelDialog)
             return this.#modelDialogLines(open, width, theme);
+        if (open.plusMenu !== null)
+            return open.plusMenu.lines(open.record, width, theme);
         const rows = open.flags.map(key => {
             const declared = open.entry.flags.find(flag => flag.key === key);
             return {
@@ -1037,19 +1042,46 @@ export class SettingsApp {
         const open = this.#structured;
         if (open !== null)
             return this.#dialogLines(open, width, theme);
-        const notice = this.#notice;
-        const plainStatus = notice !== null && notice.length > 0
-            ? notice
-            : this.#interruptArmed ? "press ctrl+c again to exit a1" : null;
-        const status = plainStatus === null
-            ? renderShortcutHintsWithClose(SETTINGS_SHORTCUTS.hintEntries(SCOPE), theme, width, width > 0 ? 1 : 0)
-            : truncateToWidth(`${width > 0 ? " " : ""}${theme.fg("dim", plainStatus)}`, width);
-        const input = this.#filter;
+        // Rationale: standing guidance is more useful than transient feedback; failures still
+        // roll back without displacing the Settings interaction contract.
+        const entries = SETTINGS_SHORTCUTS.hintEntries(SCOPE).filter(entry => !this.#options.pinned
+            || entry.key !== DIALOG_CLOSE_SHORTCUT_HINT.key || entry.action !== DIALOG_CLOSE_SHORTCUT_HINT.action);
+        const status = renderShortcutHintsWithClose(entries, theme, width, width > 0 ? 1 : 0);
+        const input = this.#search.input;
         if (input === null)
             return [status];
-        return [...renderInputRow(input, width, { placeholder: SEARCH_PLACEHOLDER, theme }).lines, status];
+        return [...input.render(width), status];
     }
 }
+function openSettingsSearch(state, host, initial, scroll) {
+    state.scrollBefore = scroll;
+    state.input = state.factory.create({
+        theme: host.theme ?? PLAIN_THEME,
+        getRows: () => host.getSize().height,
+        requestRender: () => host.requestRender(),
+        copyText: state.copyText,
+    });
+    state.input.setFocused(true);
+    state.input.handleInput(initial);
+}
+function closeSettingsSearch(state) {
+    state.input?.setFocused(false);
+    state.input = null;
+    const scroll = state.scrollBefore;
+    state.scrollBefore = null;
+    return scroll;
+}
+function handleSettingsSearchPointer(state, event, panelTop) {
+    const input = state.input;
+    if (input === null || event.kind === "wheel-up" || event.kind === "wheel-down")
+        return null;
+    const row = event.row - panelTop;
+    const overInput = row >= 1 && row <= SETTINGS_SEARCH_INPUT_ROWS;
+    if (!overInput && !input.ownsPointer())
+        return null;
+    const handled = input.handlePointer({ kind: event.kind, button: event.button, column: event.column, row });
+    return { consumed: handled || overInput, render: handled };
+}
 function modelLabelParts(label) {
     const match = /^(.*?)(\s+\[[^\]]+\])$/u.exec(label);
     return match === null ? { label } : { label: match[1] ?? label, labelSuffix: match[2] ?? "" };
@@ -1111,8 +1143,11 @@ function labelOf(entry) {
 function rangeOf(entry) {
     return { minimum: entry.minimum, maximum: entry.maximum, values: numericValues(entry.choices) };
 }
-/** Booleans read as yes and no; everything else prints as itself. */
-function displayValue(value) {
+/** Booleans read as yes and no; time-format choices preview the current local time. */
+function displaySettingValue(entry, value) {
+    if (entry.backend === "a1" && entry.id === "timeFormat" && (value === "20:00" || value === "8:00 PM")) {
+        return formatLocalTime(new Date(), value) ?? value;
+    }
     if (typeof value === "boolean")
         return value ? "yes" : "no";
     return String(value);

package/dist/features/owned-ui/settings-search-input.d.ts

@@ -0,0 +1,29 @@
+import type { UiTheme } from "../../ui/components/index.js";
+export interface SettingsSearchPointerEvent {
+    readonly kind: "press" | "motion" | "release";
+    readonly button: number;
+    readonly column: number;
+    /** One-based row relative to the search input's top rule. */
+    readonly row: number;
+}
+/** The shared interactive input as consumed by the Settings surface. */
+export interface SettingsSearchInput {
+    render(width: number): readonly string[];
+    handleInput(data: string): void;
+    handlePointer(event: SettingsSearchPointerEvent): boolean;
+    getText(): string;
+    hasSelection(): boolean;
+    ownsPointer(): boolean;
+    setFocused(focused: boolean): void;
+}
+export interface SettingsSearchInputOptions {
+    readonly theme: UiTheme;
+    readonly getRows: () => number;
+    readonly requestRender: () => void;
+    readonly copyText: (text: string) => void;
+}
+/** Composition supplies the same configurable editor component used by the agent prompt. */
+export interface SettingsSearchInputFactory {
+    create(options: SettingsSearchInputOptions): SettingsSearchInput;
+    isTextInput(data: string): boolean;
+}

package/dist/features/owned-ui/settings-search-input.js

@@ -0,0 +1 @@
+export {};

package/dist/features/prompt-history/index.d.ts

@@ -1,4 +1,4 @@
 export { PromptHistoryService } from "./service.js";
-export { resolvePromptHistoryPath } from "./paths.js";
+export { resolvePromptHistoryPath, type PromptHistoryScope } from "./paths.js";
 export { PromptImageSidecar, collectImageChipIdentifiers } from "./image-sidecar.js";
 export type { PromptImageSidecarRecord, PromptImageSidecarAttachment } from "./image-sidecar.js";

package/dist/features/prompt-history/paths.d.ts

@@ -1,4 +1,5 @@
-export declare function resolvePromptHistoryPath(dataDir: string, profileRoot: string, platform?: NodeJS.Platform): {
+export type PromptHistoryScope = "unique" | "shared";
+export declare function resolvePromptHistoryPath(dataDir: string, profileRoot: string, platform?: NodeJS.Platform, scope?: PromptHistoryScope, sessionId?: string): {
     path: string;
     profileId: string;
     imagesDir: string;

package/dist/features/prompt-history/paths.js

@@ -1,7 +1,7 @@
 import { createHash } from "node:crypto";
 import { posix, win32 } from "node:path";
 import { PRODUCT_IDENTITY } from "../../product-identity.js";
-export function resolvePromptHistoryPath(dataDir, profileRoot, platform = process.platform) {
+export function resolvePromptHistoryPath(dataDir, profileRoot, platform = process.platform, scope = "shared", sessionId) {
     const paths = platform === "win32" ? win32 : posix;
     if (!paths.isAbsolute(dataDir) || !paths.isAbsolute(profileRoot) || dataDir.includes("\0") || profileRoot.includes("\0"))
         throw new TypeError("History requires absolute roots");
@@ -11,7 +11,15 @@ export function resolvePromptHistoryPath(dataDir, profileRoot, platform = proces
     if (platform === "win32")
         normalized = normalized.replaceAll("\\", "/").toLowerCase();
     const digest = createHash("sha256").update(JSON.stringify([1, PRODUCT_IDENTITY.commandName, normalized])).digest("hex");
-    const profileId = `${PRODUCT_IDENTITY.filesystem.temporaryPrefix}${digest}`;
+    if (scope !== "unique" && scope !== "shared")
+        throw new TypeError("Invalid history scope");
+    if (scope === "unique" && (typeof sessionId !== "string" || sessionId.length === 0 || sessionId.length > 256 || sessionId.includes("\0"))) {
+        throw new TypeError("Unique history requires a valid session ID");
+    }
+    // Compatibility: preserve the former Shared identity; a separate domain prevents
+    // collisions with per-session databases and image sidecars.
+    const profileId = scope === "shared" ? `${PRODUCT_IDENTITY.filesystem.temporaryPrefix}${digest}`
+        : `${PRODUCT_IDENTITY.filesystem.temporaryPrefix}${createHash("sha256").update(JSON.stringify([2, PRODUCT_IDENTITY.commandName, normalized, sessionId])).digest("hex")}`;
     const historyDir = paths.join(dataDir, "history");
     return { path: paths.join(historyDir, `${profileId}.sqlite3`), profileId, imagesDir: paths.join(historyDir, `${profileId}-images`) };
 }