@astralyn/pi 1.4.5 → 1.4.7

package/dist/extensions/tasks/ui/manager.d.ts

@@ -5,7 +5,7 @@ import type { KeybindingsManager } from "../../../core/keybindings.ts";
 import { type TasksContext } from "../../../core/tasks/types.ts";
 import type { Theme } from "../../../modes/interactive/theme/theme.ts";
 import { type TasksPanelState } from "./model.ts";
-export type TasksManagerHost = Pick<TasksContext, "list" | "read" | "kill" | "subscribe" | "retain"> & Partial<Pick<TasksContext, "detach" | "enabled">>;
+export type TasksManagerHost = Pick<TasksContext, "list" | "read" | "kill" | "subscribe" | "retain" | "canDetach" | "detach">;
 export interface TasksMenuOptions {
     tui: {
         requestRender(): void;
@@ -31,12 +31,9 @@ export declare class TasksMenu implements Component, Focusable {
     private readonly unsubscribe;
     private readonly pollTimer;
     private animationTimer?;
-    private pendingKill?;
+    private mode;
     private feedback?;
     private focus;
-    private searching;
-    private beforeSearch?;
-    private help?;
     private dirty;
     private tickQueued;
     private refreshQueued;
@@ -47,15 +44,27 @@ export declare class TasksMenu implements Component, Focusable {
     private sync;
     private queueTick;
     invalidate(): void;
-    private clearKill;
+    /** The one place the mode changes; the search input is focused exactly while searching. */
+    private setMode;
+    /** Unwinds exactly one transient layer; from plain browsing it closes the panel. */
+    private cancel;
+    private close;
     private selectedChanged;
-    private stop;
+    private requestStop;
+    private confirmStop;
+    private startSearch;
     private finishSearch;
     private action;
     private move;
     handleInput(data: string): void;
+    private helpInput;
+    private searchInput;
+    private confirmInput;
+    private browseInput;
     handleMouse(event: TuiMouseEvent): TuiMouseEventResult | undefined;
     render(width: number): string[];
+    /** The panel's selection can lag the runtime by a notification; a task that is gone cannot move. */
+    private canDetach;
     dispose(): void;
 }
 //# sourceMappingURL=manager.d.ts.map

package/dist/extensions/tasks/ui/manager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"manager.d.ts","sourceRoot":"","sources":["../../../../src/extensions/tasks/ui/manager.ts"],"names":[],"mappings":"AAAA,sGAAsG;AACtG,OAAO,mBAAmB,CAAC;AAC3B,OAAO,EACN,KAAK,SAAS,EACd,KAAK,SAAS,EAEd,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAiB,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AACtF,OAAO,EAAkB,KAAK,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAEjF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2CAA2C,CAAC;AAIvE,OAAO,EAAiB,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAIjE,MAAM,MAAM,gBAAgB,GAAG,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW,GAAG,QAAQ,CAAC,GACnG,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC;AACnD,MAAM,WAAW,gBAAgB;IAChC,GAAG,EAAE;QAAE,aAAa,IAAI,IAAI,CAAC;QAAC,QAAQ,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;IAC5E,KAAK,EAAE,KAAK,CAAC;IACb,WAAW,EAAE,IAAI,CAAC,kBAAkB,EAAE,SAAS,GAAG,SAAS,CAAC,CAAC;IAC7D,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,CAAC,EAAE,eAAe,CAAC;IACxB,OAAO,IAAI,IAAI,CAAC;IAChB,cAAc,CAAC,EAAE,MAAM,CAAC;CACxB;AAgBD,qBAAa,SAAU,YAAW,SAAS,EAAE,SAAS;IACrD,OAAO,UAAS;IAChB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAmB;IAC3C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAgB;IAC1C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAgB;IAC1C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAkB;IACvC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;IAC/B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAa;IACzC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAiC;IAC3D,OAAO,CAAC,cAAc,CAAC,CAAiC;IACxD,OAAO,CAAC,WAAW,CAAC,CAAS;IAC7B,OAAO,CAAC,QAAQ,CAAC,CAAS;IAC1B,OAAO,CAAC,KAAK,CAAgC;IAC7C,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,YAAY,CAAC,CAA+C;IACpE,OAAO,CAAC,IAAI,CAAC,CAAe;IAC5B,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,MAAM,CAAC,CAAc;gBACjB,OAAO,EAAE,gBAAgB;IAuBrC,OAAO,CAAC,IAAI;IAqBZ,OAAO,CAAC,SAAS;IAmBjB,UAAU,IAAI,IAAI;IAGlB,OAAO,CAAC,SAAS;IAGjB,OAAO,CAAC,eAAe;IAMvB,OAAO,CAAC,IAAI;IAaZ,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,MAAM;IA8Dd,OAAO,CAAC,IAAI;IAiBZ,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAiE/B,WAAW,CAAC,KAAK,EAAE,aAAa,GAAG,mBAAmB,GAAG,SAAS;IA2DlE,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE;IAoB/B,OAAO,IAAI,IAAI;CASf"}
+{"version":3,"file":"manager.d.ts","sourceRoot":"","sources":["../../../../src/extensions/tasks/ui/manager.ts"],"names":[],"mappings":"AAAA,sGAAsG;AACtG,OAAO,mBAAmB,CAAC;AAC3B,OAAO,EACN,KAAK,SAAS,EACd,KAAK,SAAS,EAEd,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAiB,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AACtF,OAAO,EAAkB,KAAK,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAEjF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2CAA2C,CAAC;AAIvE,OAAO,EAA+D,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAI/G,MAAM,MAAM,gBAAgB,GAAG,IAAI,CAClC,YAAY,EACZ,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,WAAW,GAAG,QAAQ,CAC1E,CAAC;AACF,MAAM,WAAW,gBAAgB;IAChC,GAAG,EAAE;QAAE,aAAa,IAAI,IAAI,CAAC;QAAC,QAAQ,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;IAC5E,KAAK,EAAE,KAAK,CAAC;IACb,WAAW,EAAE,IAAI,CAAC,kBAAkB,EAAE,SAAS,GAAG,SAAS,CAAC,CAAC;IAC7D,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,CAAC,EAAE,eAAe,CAAC;IACxB,OAAO,IAAI,IAAI,CAAC;IAChB,cAAc,CAAC,EAAE,MAAM,CAAC;CACxB;AAiBD,qBAAa,SAAU,YAAW,SAAS,EAAE,SAAS;IACrD,OAAO,UAAS;IAChB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAmB;IAC3C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAgB;IAC1C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAgB;IAC1C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAkB;IACvC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;IAC/B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAa;IACzC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAiC;IAC3D,OAAO,CAAC,cAAc,CAAC,CAAiC;IACxD,OAAO,CAAC,IAAI,CAAqB;IACjC,OAAO,CAAC,QAAQ,CAAC,CAAS;IAC1B,OAAO,CAAC,KAAK,CAAsB;IACnC,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,MAAM,CAAC,CAAc;gBACjB,OAAO,EAAE,gBAAgB;IA0BrC,OAAO,CAAC,IAAI;IAqBZ,OAAO,CAAC,SAAS;IAmBjB,UAAU,IAAI,IAAI;IAGlB,2FAA2F;IAC3F,OAAO,CAAC,OAAO;IAIf,oFAAoF;IACpF,OAAO,CAAC,MAAM;IAcd,OAAO,CAAC,KAAK;IAIb,OAAO,CAAC,eAAe;IAMvB,OAAO,CAAC,WAAW;IAInB,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,WAAW;IAKnB,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,MAAM;IAsDd,OAAO,CAAC,IAAI;IAiBZ,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAgC/B,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,WAAW;IAenB,OAAO,CAAC,YAAY;IAKpB,OAAO,CAAC,WAAW;IAiBnB,WAAW,CAAC,KAAK,EAAE,aAAa,GAAG,mBAAmB,GAAG,SAAS;IAwDlE,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE;IAmB/B,oGAAoG;IACpG,OAAO,CAAC,SAAS;IAOjB,OAAO,IAAI,IAAI;CASf"}

package/dist/extensions/tasks/ui/manager.js

@@ -6,9 +6,10 @@ import { STATUS_SPINNER_INTERVAL_MS } from "../../../modes/interactive/component
 import { TaskInspector } from "./inspector.js";
 import { renderTasksLayout } from "./layout.js";
 import { TaskList } from "./list.js";
-import { TaskSelection } from "./model.js";
+import { isStoppable, TaskSelection } from "./model.js";
 import { cleanTaskText } from "./text.js";
 import { TaskViewport } from "./viewport.js";
+const BROWSE = { kind: "browse" };
 const actions = [
     "app.tasks.search",
     "app.tasks.kill",
@@ -26,8 +27,8 @@ export class TasksMenu {
     constructor(options) {
         this.focused = false;
         this.list = new TaskList();
+        this.mode = BROWSE;
         this.focus = "list";
-        this.searching = false;
         this.dirty = true;
         this.tickQueued = false;
         this.refreshQueued = false;
@@ -42,6 +43,9 @@ export class TasksMenu {
         });
         this.search = new Input({ prompt: "Find task: ", placeholder: "title, command, kind or ID" });
         this.sync();
+        this.selection.selectStartedSinceClose();
+        this.inspector.select(this.selection.selected);
+        this.list.showSelection();
         this.unsubscribe = options.host.subscribe(() => {
             this.dirty = true;
             this.queueTick();
@@ -66,8 +70,8 @@ export class TasksMenu {
         const selected = this.selection.selected;
         if (selected && isTaskTerminal(selected.status) && previous && !isTaskTerminal(previous.status))
             this.feedback = undefined;
-        if (this.pendingKill && (this.pendingKill !== selected?.id || (selected && isTaskTerminal(selected.status))))
-            this.clearKill();
+        if (this.mode.kind === "confirmStop" && (this.mode.taskId !== selected?.id || isTaskTerminal(selected.status)))
+            this.setMode(BROWSE);
         const animates = this.selection.all.some((task) => task.status === "running");
         if (animates && !this.animationTimer) {
             this.animationTimer = setInterval(() => this.options.tui.requestRender(), STATUS_SPINNER_INTERVAL_MS);
@@ -103,50 +107,76 @@ export class TasksMenu {
     invalidate() {
         this.inspector.invalidate();
     }
-    clearKill() {
-        this.pendingKill = undefined;
+    /** The one place the mode changes; the search input is focused exactly while searching. */
+    setMode(next) {
+        this.mode = next;
+        this.search.focused = next.kind === "search";
+    }
+    /** Unwinds exactly one transient layer; from plain browsing it closes the panel. */
+    cancel() {
+        switch (this.mode.kind) {
+            case "search":
+                this.finishSearch(true);
+                break;
+            case "help":
+            case "confirmStop":
+                this.setMode(BROWSE);
+                break;
+            case "browse":
+                this.close();
+                break;
+        }
+    }
+    close() {
+        this.dispose();
+        this.options.onClose();
     }
     selectedChanged() {
-        this.clearKill();
+        if (this.mode.kind === "confirmStop")
+            this.setMode(BROWSE);
         this.list.showSelection();
         this.inspector.select(this.selection.selected);
         this.queueTick(true);
     }
-    stop(confirm = false) {
+    requestStop() {
         const task = this.selection.selected;
-        if (confirm) {
-            const id = this.pendingKill;
-            this.clearKill();
-            if (!id || id !== task?.id || isTaskTerminal(task.status))
-                return;
-            this.feedback = this.options.host.kill(id)
-                ? "Cancellation requested; waiting for cleanup."
-                : "No new cancellation requested.";
-        }
-        else if (task && !isTaskTerminal(task.status) && task.status !== "stopping") {
-            this.pendingKill = task.id;
-        }
+        if (task && isStoppable(task))
+            this.setMode({ kind: "confirmStop", taskId: task.id });
+    }
+    confirmStop() {
+        const mode = this.mode;
+        if (mode.kind !== "confirmStop")
+            return;
+        this.setMode(BROWSE);
+        const task = this.selection.selected;
+        if (mode.taskId !== task?.id || isTaskTerminal(task.status))
+            return;
+        this.feedback = this.options.host.kill(mode.taskId)
+            ? "Cancellation requested; waiting for cleanup."
+            : "No new cancellation requested.";
+    }
+    startSearch() {
+        this.setMode({ kind: "search", restore: { id: this.selection.state.selectedId, focus: this.focus } });
+        this.focus = "list";
+        this.search.setValue("");
     }
     finishSearch(cancel) {
-        const id = cancel ? this.beforeSearch?.id : this.selection.state.selectedId;
+        const mode = this.mode;
+        if (mode.kind !== "search")
+            return;
+        const id = cancel ? mode.restore.id : this.selection.state.selectedId;
         if (!cancel && !id)
             return;
-        this.focus = cancel ? (this.beforeSearch?.focus ?? "list") : "list";
-        this.searching = false;
-        this.search.focused = false;
+        this.focus = cancel ? mode.restore.focus : "list";
+        this.setMode(BROWSE);
         this.selection.query = "";
         this.selection.select(id);
-        this.beforeSearch = undefined;
         this.selectedChanged();
     }
     action(key) {
         switch (key) {
             case "app.tasks.search":
-                this.beforeSearch = { id: this.selection.state.selectedId, focus: this.focus };
-                this.focus = "list";
-                this.searching = true;
-                this.search.focused = true;
-                this.search.setValue("");
+                this.startSearch();
                 break;
             case "app.tasks.previousTab":
             case "app.tasks.nextTab":
@@ -173,31 +203,29 @@ export class TasksMenu {
                     this.inspector.position[this.selection.state.tab].jump(key === "app.tasks.bottom", this.selection.state.tab === "output");
                 break;
             case "app.tasks.kill":
-                this.stop();
+                this.requestStop();
                 break;
             case "app.tasks.confirmStop":
-                this.stop(true);
+                this.confirmStop();
                 break;
             case "app.tasks.detachSelected": {
                 const task = this.selection.selected;
-                if (task?.mode === "foreground" &&
-                    !isTaskTerminal(task.status) &&
-                    task.status !== "stopping" &&
-                    this.options.host.enabled !== false) {
-                    this.feedback = this.options.host.detach?.(task.id)
+                // The core decides; a full background lane throws its own explanation, shown as feedback.
+                if (task?.mode === "foreground" && isStoppable(task)) {
+                    this.feedback = this.options.host.detach(task.id)
                         ? "Selected task moved to background; execution continues."
                         : "This task cannot move to background.";
                 }
                 break;
             }
             case "app.tasks.help":
-                this.help = this.help ? undefined : new TaskViewport();
+                this.setMode({ kind: "help", viewport: new TaskViewport() });
                 break;
         }
     }
     move(direction, page = false) {
-        if (this.help) {
-            this.help.move(direction, page, false);
+        if (this.mode.kind === "help") {
+            this.mode.viewport.move(direction, page, false);
             return;
         }
         if (this.focus === "list") {
@@ -219,85 +247,95 @@ export class TasksMenu {
             return;
         this.sync();
         this.render(this.width);
-        const kb = this.options.keybindings;
         this.feedback = undefined;
         try {
             if (this.layout?.tooSmall) {
                 // The resize notice owns the screen; keys must not act on the hidden panel.
-                // Cancel unwinds one transient state at a time, then closes.
-                if (kb.matches(data, "tui.select.cancel")) {
-                    if (this.help)
-                        this.help = undefined;
-                    else if (this.searching)
-                        this.finishSearch(true);
-                    else if (this.pendingKill)
-                        this.clearKill();
-                    else {
-                        this.dispose();
-                        this.options.onClose();
-                        return;
-                    }
-                }
-            }
-            else if (this.help) {
-                if (kb.matches(data, "tui.select.cancel") || kb.matches(data, "app.tasks.help"))
-                    this.help = undefined;
-                else if (kb.matches(data, "app.tasks.top") || kb.matches(data, "app.tasks.bottom"))
-                    this.help.jump(kb.matches(data, "app.tasks.bottom"), false);
-                else if (kb.matches(data, "tui.select.up") || kb.matches(data, "tui.editor.pageUp"))
-                    this.help.move(-1, kb.matches(data, "tui.editor.pageUp"), false);
-                else if (kb.matches(data, "tui.select.down") || kb.matches(data, "tui.editor.pageDown"))
-                    this.help.move(1, kb.matches(data, "tui.editor.pageDown"), false);
-            }
-            else if (this.searching) {
-                if (kb.matches(data, "tui.select.cancel"))
-                    this.finishSearch(true);
-                else if (kb.matches(data, "tui.select.confirm"))
-                    this.finishSearch(false);
-                else if (kb.matches(data, "tui.select.up") || kb.matches(data, "tui.select.pageUp"))
-                    this.move(-1, kb.matches(data, "tui.select.pageUp"));
-                else if (kb.matches(data, "tui.select.down") || kb.matches(data, "tui.select.pageDown"))
-                    this.move(1, kb.matches(data, "tui.select.pageDown"));
-                else {
-                    this.search.handleInput(data);
-                    this.selection.query = this.search.getValue().slice(0, 512);
-                    this.selection.refresh();
-                    this.selectedChanged();
-                }
-            }
-            else if (this.pendingKill) {
-                if (kb.matches(data, "app.tasks.confirmStop"))
-                    this.stop(true);
-                else if (kb.matches(data, "tui.select.cancel"))
-                    this.clearKill();
-            }
-            else if (kb.matches(data, "tui.select.cancel")) {
-                this.dispose();
-                this.options.onClose();
-                return;
+                if (this.options.keybindings.matches(data, "tui.select.cancel"))
+                    this.cancel();
             }
             else {
-                const pageUp = kb.matches(data, this.focus === "list" ? "tui.select.pageUp" : "tui.editor.pageUp");
-                const pageDown = kb.matches(data, this.focus === "list" ? "tui.select.pageDown" : "tui.editor.pageDown");
-                if (pageUp || kb.matches(data, "tui.select.up"))
-                    this.move(-1, pageUp);
-                else if (pageDown || kb.matches(data, "tui.select.down"))
-                    this.move(1, pageDown);
-                else if (kb.matches(data, "tui.select.confirm"))
-                    return;
-                else {
-                    const key = actions.find((key) => kb.matches(data, key));
-                    if (key)
-                        this.action(key);
+                switch (this.mode.kind) {
+                    case "help":
+                        this.helpInput(this.mode.viewport, data);
+                        break;
+                    case "search":
+                        this.searchInput(data);
+                        break;
+                    case "confirmStop":
+                        this.confirmInput(data);
+                        break;
+                    case "browse":
+                        this.browseInput(data);
+                        break;
                 }
             }
         }
         catch (error) {
             this.feedback = cleanTaskText(error instanceof Error ? error.message : String(error));
         }
+        if (this.disposed)
+            return;
         this.queueTick(true);
         this.options.tui.requestRender();
     }
+    helpInput(viewport, data) {
+        const kb = this.options.keybindings;
+        if (kb.matches(data, "tui.select.cancel") || kb.matches(data, "app.tasks.help"))
+            this.setMode(BROWSE);
+        else if (kb.matches(data, "app.tasks.top") || kb.matches(data, "app.tasks.bottom"))
+            viewport.jump(kb.matches(data, "app.tasks.bottom"), false);
+        else if (kb.matches(data, "tui.select.up") || kb.matches(data, "tui.editor.pageUp"))
+            viewport.move(-1, kb.matches(data, "tui.editor.pageUp"), false);
+        else if (kb.matches(data, "tui.select.down") || kb.matches(data, "tui.editor.pageDown"))
+            viewport.move(1, kb.matches(data, "tui.editor.pageDown"), false);
+    }
+    searchInput(data) {
+        const kb = this.options.keybindings;
+        if (kb.matches(data, "tui.select.cancel"))
+            this.cancel();
+        else if (kb.matches(data, "tui.select.confirm"))
+            this.finishSearch(false);
+        else if (kb.matches(data, "tui.select.up") || kb.matches(data, "tui.select.pageUp"))
+            this.move(-1, kb.matches(data, "tui.select.pageUp"));
+        else if (kb.matches(data, "tui.select.down") || kb.matches(data, "tui.select.pageDown"))
+            this.move(1, kb.matches(data, "tui.select.pageDown"));
+        else {
+            this.search.handleInput(data);
+            this.selection.query = this.search.getValue().slice(0, 512);
+            this.selection.refresh();
+            this.selectedChanged();
+        }
+    }
+    confirmInput(data) {
+        const kb = this.options.keybindings;
+        if (kb.matches(data, "app.tasks.confirmStop"))
+            this.confirmStop();
+        else if (kb.matches(data, "tui.select.cancel"))
+            this.cancel();
+    }
+    browseInput(data) {
+        const kb = this.options.keybindings;
+        if (kb.matches(data, "tui.select.cancel")) {
+            this.cancel();
+            return;
+        }
+        const pageUp = kb.matches(data, this.focus === "list" ? "tui.select.pageUp" : "tui.editor.pageUp");
+        const pageDown = kb.matches(data, this.focus === "list" ? "tui.select.pageDown" : "tui.editor.pageDown");
+        if (pageUp || kb.matches(data, "tui.select.up"))
+            this.move(-1, pageUp);
+        else if (pageDown || kb.matches(data, "tui.select.down"))
+            this.move(1, pageDown);
+        else if (kb.matches(data, "tui.select.confirm")) {
+            if (this.focus === "list" && this.selection.selected)
+                this.focus = "inspector";
+        }
+        else {
+            const key = actions.find((key) => kb.matches(data, key));
+            if (key)
+                this.action(key);
+        }
+    }
     handleMouse(event) {
         if (this.disposed || event.ctrl || event.alt || event.shift)
             return;
@@ -305,38 +343,32 @@ export class TasksMenu {
         this.feedback = undefined;
         this.render(event.width);
         const layout = this.layout;
+        const mode = this.mode;
         if (event.type === "wheel" && event.wheelDelta) {
-            if (!this.pendingKill && !layout.tooSmall && event.y >= 2 && event.y < this.options.tui.terminal.rows - 3) {
+            if (mode.kind !== "confirmStop" &&
+                !layout.tooSmall &&
+                event.y >= 2 &&
+                event.y < this.options.tui.terminal.rows - 3) {
                 const delta = Math.sign(event.wheelDelta) * Math.min(20, Math.abs(event.wheelDelta));
                 const region = this.width >= 100 ? (event.x < layout.listWidth ? "list" : "inspector") : this.focus;
-                if (this.help)
-                    this.help.move(delta, false, false);
+                if (mode.kind === "help")
+                    mode.viewport.move(delta, false, false);
                 else if (region === "list")
                     this.list.scroll(delta);
-                else if (!this.searching)
+                else if (mode.kind !== "search")
                     this.inspector.position[this.selection.state.tab].move(delta, false, this.selection.state.tab === "output");
             }
         }
         else if (event.type === "click" && event.button === "left") {
             const hit = layout.hits.find((hit) => hit.y === event.y && event.x >= hit.x && event.x < hit.x + hit.width);
             try {
-                if (hit?.cancel) {
-                    if (this.searching)
-                        this.finishSearch(true);
-                    else if (this.help)
-                        this.help = undefined;
-                    else if (this.pendingKill)
-                        this.clearKill();
-                    else {
-                        this.dispose();
-                        this.options.onClose();
-                    }
-                }
+                if (hit?.cancel)
+                    this.cancel();
                 else if (hit?.taskId) {
                     this.selection.select(hit.taskId);
                     this.selectedChanged();
                     this.focus = "list";
-                    if (this.searching)
+                    if (mode.kind === "search")
                         this.finishSearch(false);
                 }
                 else if (hit?.tab) {
@@ -348,9 +380,7 @@ export class TasksMenu {
                         this.focus = "inspector";
                     this.action(hit.key);
                 }
-                else if (!this.pendingKill &&
-                    !this.searching &&
-                    !this.help &&
+                else if (mode.kind === "browse" &&
                     !layout.tooSmall &&
                     event.y >= 1 &&
                     event.y < this.options.tui.terminal.rows - 2 &&
@@ -379,21 +409,29 @@ export class TasksMenu {
             inspector: this.inspector,
             list: this.list,
             focus: this.focus,
-            searchLine: this.searching ? (width) => this.search.render(width).join("") : undefined,
-            pendingKill: this.pendingKill,
+            mode: this.mode,
+            searchLine: (width) => this.search.render(width).join(""),
             feedback: this.feedback,
-            help: this.help,
-            canDetach: this.options.host.enabled !== false && !!this.options.host.detach,
+            canDetach: (id) => this.canDetach(id),
         });
         return this.layout.lines;
     }
+    /** The panel's selection can lag the runtime by a notification; a task that is gone cannot move. */
+    canDetach(id) {
+        try {
+            return this.options.host.canDetach(id);
+        }
+        catch {
+            return false;
+        }
+    }
     dispose() {
         if (this.disposed)
             return;
         this.disposed = true;
+        this.selection.state.closedAt = Date.now();
         clearInterval(this.pollTimer);
         clearInterval(this.animationTimer);
-        this.clearKill();
         this.unsubscribe();
         this.inspector.dispose();
     }