@opencode-cockpit/shell 0.1.5 → 0.2.1

package/dist/tui/{console.js → components/console.js}

@@ -1,5 +1,5 @@
-import { use as _$use } from "@opentui/solid";
 import { memo as _$memo } from "@opentui/solid";
+import { use as _$use } from "@opentui/solid";
 import { effect as _$effect } from "@opentui/solid";
 import { createTextNode as _$createTextNode } from "@opentui/solid";
 import { insertNode as _$insertNode } from "@opentui/solid";
@@ -12,20 +12,17 @@ import { createElement as _$createElement } from "@opentui/solid";
 import { useBindings } from "@opentui/keymap/solid";
 import { useTerminalDimensions } from "@opentui/solid";
 import { createEffect, createMemo, createSignal, For, on, onCleanup, Show } from "solid-js";
+import { detailRows } from "../lib/details.js";
+import { isReleaseKey, keyToBytes } from "../lib/keys.js";
+import { friendlyError, splitMatches } from "../lib/search.js";
+import { displayCommand, kindColor, kindOf, relativeCwd, statusDetail, tailLines, tailRuns, truncate, watchColor, watchLabel, wrapText } from "../lib/view.js";
+import { useScreen } from "../state/store.js";
 import { Badge } from "./badge.js";
-import { isReleaseKey, keyToBytes } from "./keys.js";
-import { useScreen } from "./store.js";
-import { displayCommand, kindColor, kindOf, relativeCwd, statusDetail, tailLines, truncate, wrapText } from "./view.js";
 /** Daemon errors name ids and internal states; say what happened instead. */
-function friendlyError(err) {
-  const message = err instanceof Error ? err.message : String(err);
-  if (/is (exited|killed|failed)$/.test(message)) return "the shell is no longer running";
-  if (/not found$/.test(message)) return "that shell was already removed";
-  if (/connection|not running|did not start/.test(message)) return "lost connection to cockpitd, retrying";
-  return message;
-}
 const COMMAND_LINES = 3;
 
+/** Splits a line into plain and matching parts so a filtered log can highlight what matched. */
+
 /**
  * Keyboard-first shell console in an overlay. Normal mode: single-key actions. Typing mode:
  * every key goes to the program (ctrl+c included); ctrl+] returns to normal mode.
@@ -34,10 +31,14 @@ export function Console(props) {
   const theme = () => props.api.theme.current;
   const dims = useTerminalDimensions();
   const shell = () => props.store.selected();
-  const [view, setView] = createSignal("screen");
+  const [view, setView] = createSignal(props.defaultView ?? "screen");
   const [typing, setTyping] = createSignal(props.typing ?? false);
   const [log, setLog] = createSignal([]);
   const [notice, setNotice] = createSignal();
+  /** Applied log filter, and the query being typed for it. */
+  const [filter, setFilter] = createSignal("");
+  const [searching, setSearching] = createSignal(false);
+  const [draft, setDraft] = createSignal("");
   const {
     screen
   } = useScreen(props.store, () => shell()?.id);
@@ -96,14 +97,17 @@ export function Console(props) {
   };
 
   // Log view: reload on selection, view switch and new output.
-  createEffect(on([() => shell()?.id, view, () => screen()], () => {
+  createEffect(on([() => shell()?.id, view, filter, () => screen()], () => {
     const id = shell()?.id;
     if (!id || view() !== "log") return;
+    // The daemon greps server-side, so filtering a 40k-line log costs one call, not a transfer.
     void client.call("shell.read", {
       id,
       tail: 2000,
-      limit: 2000
-    }).then(page => setLog(page.lines)).catch(() => {});
+      limit: 2000,
+      grep: filter() || undefined,
+      ignoreCase: true
+    }).then(page => setLog(page.lines)).catch(() => setLog([]));
   }));
 
   // Typing mode: size the PTY to what we show, then forward every key.
@@ -121,6 +125,24 @@ export function Console(props) {
     if (typing() && !running()) setTyping(false);
   });
   const release = props.api.keymap.intercept("key", ctx => {
+    // Search takes keys first: a typed query must reach neither the program nor the dialog.
+    if (searching()) {
+      const event = ctx.event;
+      ctx.consume({
+        preventDefault: true,
+        stopPropagation: true
+      });
+      if (event.name === "escape") return setSearching(false);
+      if (event.name === "return" || event.name === "enter") {
+        setFilter(draft().trim());
+        return setSearching(false);
+      }
+      if (event.name === "backspace") return setDraft(value => value.slice(0, -1));
+      if (event.sequence && !event.ctrl && !event.meta && event.sequence >= " ") {
+        setDraft(value => value + event.sequence);
+      }
+      return;
+    }
     if (!typing()) return;
     const event = ctx.event;
     ctx.consume({
@@ -188,18 +210,35 @@ export function Console(props) {
     }, {
       name: "cockpit.console.clear",
       title: "Clear finished shells",
-      run: () => act("clear", async () => {
-        const n = await props.store.clearFinished();
-        return `cleared ${n} finished shell${n === 1 ? "" : "s"}`;
-      })
-    }, {
-      name: "cockpit.console.all",
-      title: "Show all / fewer shells",
-      run: () => props.store.toggleAll()
+      run: () => {
+        if (finished() === 0) {
+          flash("nothing to clear: no finished shells", "info", 2500);
+          return;
+        }
+        act("clear", async () => {
+          const n = await props.store.clearFinished();
+          return `cleared ${n} finished shell${n === 1 ? "" : "s"}`;
+        });
+      }
     }, {
       name: "cockpit.console.view",
       title: "Toggle screen/log",
       run: () => setView(v => v === "log" ? "screen" : "log")
+    }, {
+      name: "cockpit.console.search",
+      title: "Search this shell's log",
+      run: () => {
+        setView("log");
+        setDraft(filter());
+        setSearching(true);
+      }
+    }, {
+      name: "cockpit.console.searchClear",
+      title: "Clear the log filter",
+      run: () => {
+        setFilter("");
+        setDraft("");
+      }
     }, {
       name: "cockpit.console.details",
       title: "Toggle details",
@@ -261,14 +300,18 @@ export function Console(props) {
       key: "shift+d",
       cmd: "cockpit.console.clear",
       desc: "Clear finished"
-    }, {
-      key: "a",
-      cmd: "cockpit.console.all",
-      desc: "All"
     }, {
       key: "tab",
       cmd: "cockpit.console.view",
       desc: "Screen/log"
+    }, {
+      key: "/",
+      cmd: "cockpit.console.search",
+      desc: "Search log"
+    }, {
+      key: "backspace",
+      cmd: "cockpit.console.searchClear",
+      desc: "Clear filter"
     }, {
       key: "?,shift+/",
       cmd: "cockpit.console.details",
@@ -308,26 +351,38 @@ export function Console(props) {
     }]
   }));
   const screenText = createMemo(() => tailLines(screen()?.text, bodyRows(), bodyCols()));
+  // Colour when the daemon sent styled rows; the plain text stays the fallback.
+  const screenRuns = createMemo(() => props.colors === false ? [] : tailRuns(screen()?.styled, bodyRows(), bodyCols()));
   const details = createMemo(() => shell() ? detailRows(shell(), props.store.now(), bodyCols()) : []);
   const bodyHeight = createMemo(() => {
     if (typing()) return bodyRows();
     const content = view() === "log" ? log().length : view() === "details" ? details().length : screenText().split("\n").length;
     return Math.min(bodyRows(), Math.max(6, content));
   });
+  const finished = createMemo(() => props.store.shells().filter(s => s.status !== "running").length);
   const position = createMemo(() => {
-    const list = props.store.visible();
+    const list = props.store.shells();
     const index = list.findIndex(x => x.id === shell()?.id);
-    const hidden = props.store.hidden().length;
-    return list.length > 1 || hidden > 0 ? `${index + 1}/${list.length}${hidden ? ` +${hidden}` : ""}` : "";
+    return list.length > 1 ? `${index + 1}/${list.length}` : "";
   });
   // Only the keys that do something for the selected shell.
+  /** Only the keys that do something right now: no sidebar concepts, no actions with no target. */
   const hint = createMemo(() => {
+    if (searching()) return `search: ${draft()}▏· enter filters · esc cancels`;
     if (typing()) return "TYPING: keys go to the shell (ctrl+c included) · ctrl+] stop typing";
-    const next = view() === "log" ? "screen" : "log";
     const wide = dims().width >= 110;
-    const live = running() ? wide ? ["i type", "c ^C", "r restart", "x stop"] : ["i type", "c ^C", "r", "x"] : [wide ? "r run again" : "r rerun", wide ? "d remove" : "d"];
-    const common = wide ? [`tab ${next}`, "? details", "[ ] switch", "D clear done", "a all", "esc"] : [`tab ${next}`, "?", "[ ]", "D", "a", "esc"];
-    return [...(shell() ? live : ["n new"]), ...common].join(" · ");
+    const label = (long, short) => wide ? long : short;
+    const keys = [];
+    if (!shell()) return ["n new", "esc close"].join(" · ");
+    keys.push(...(running() ? [label("i type", "i"), label("c ^C", "c"), label("r restart", "r"), label("x stop", "x")] : [label("r run again", "r"), label("d remove", "d")]));
+    if (view() === "log" && filter()) keys.push(label("backspace clear filter", "⌫ filter"));
+    keys.push(label(`tab ${view() === "log" ? "screen" : "log"}`, "tab"));
+    if (view() !== "details") keys.push(label("/ search log", "/"));
+    keys.push(label("? details", "?"));
+    if (props.store.shells().length > 1) keys.push(label("[ ] switch", "[ ]"));
+    if (finished() > 0) keys.push(label("D clear done", "D"));
+    keys.push(label("n new", "n"), "esc");
+    return keys.join(" · ");
   });
   return (() => {
     var _el$ = _$createElement("box"),
@@ -375,10 +430,10 @@ export function Console(props) {
           _el$0 = _$createTextNode(` `),
           _el$1 = _$createElement("b"),
           _el$10 = _$createElement("box"),
-          _el$11 = _$createElement("text");
+          _el$14 = _$createElement("text");
         _$insertNode(_el$8, _el$9);
         _$insertNode(_el$8, _el$10);
-        _$insertNode(_el$8, _el$11);
+        _$insertNode(_el$8, _el$14);
         _$setProp(_el$8, "height", 1);
         _$setProp(_el$8, "flexShrink", 0);
         _$setProp(_el$8, "flexDirection", "row");
@@ -400,14 +455,31 @@ export function Console(props) {
         _$setProp(_el$9, "flexShrink", 1);
         _$insert(_el$1, () => truncate(s().title, Math.max(10, bodyCols() - 50)));
         _$setProp(_el$10, "flexGrow", 1);
-        _$setProp(_el$11, "wrapMode", "none");
-        _$setProp(_el$11, "flexShrink", 0);
-        _$insert(_el$11, () => [statusDetail(s(), props.store.now()), s().run > 1 ? `run ${s().run}` : "", position()].filter(Boolean).join(" · "));
+        _$insert(_el$8, _$createComponent(Show, {
+          get when() {
+            return watchLabel(s());
+          },
+          get children() {
+            var _el$11 = _$createElement("text"),
+              _el$12 = _$createTextNode(` `),
+              _el$13 = _$createTextNode(` `);
+            _$insertNode(_el$11, _el$12);
+            _$insertNode(_el$11, _el$13);
+            _$setProp(_el$11, "wrapMode", "none");
+            _$setProp(_el$11, "flexShrink", 0);
+            _$insert(_el$11, () => watchLabel(s()), _el$13);
+            _$effect(_$p => _$setProp(_el$11, "fg", watchColor(theme(), s()), _$p));
+            return _el$11;
+          }
+        }), _el$14);
+        _$setProp(_el$14, "wrapMode", "none");
+        _$setProp(_el$14, "flexShrink", 0);
+        _$insert(_el$14, () => [statusDetail(s(), props.store.now()), s().run > 1 ? `run ${s().run}` : "", position()].filter(Boolean).join(" · "));
         _$effect(_p$ => {
           var _v$3 = theme().text,
             _v$4 = theme().textMuted;
           _v$3 !== _p$.e && (_p$.e = _$setProp(_el$9, "fg", _v$3, _p$.e));
-          _v$4 !== _p$.t && (_p$.t = _$setProp(_el$11, "fg", _v$4, _p$.t));
+          _v$4 !== _p$.t && (_p$.t = _$setProp(_el$14, "fg", _v$4, _p$.t));
           return _p$;
         }, {
           e: undefined,
@@ -419,167 +491,240 @@ export function Console(props) {
           return commandLines();
         },
         children: (line, index) => (() => {
-          var _el$17 = _$createElement("text"),
-            _el$18 = _$createElement("span");
-          _$insertNode(_el$17, _el$18);
-          _$setProp(_el$17, "wrapMode", "none");
-          _$setProp(_el$17, "flexShrink", 0);
-          _$insert(_el$18, () => index() === 0 ? "$ " : "  ");
-          _$insert(_el$17, line, null);
+          var _el$23 = _$createElement("text"),
+            _el$24 = _$createElement("span");
+          _$insertNode(_el$23, _el$24);
+          _$setProp(_el$23, "wrapMode", "none");
+          _$setProp(_el$23, "flexShrink", 0);
+          _$insert(_el$24, () => index() === 0 ? "$ " : "  ");
+          _$insert(_el$23, line, null);
           _$effect(_p$ => {
             var _v$7 = theme().text,
               _v$8 = {
                 fg: theme().textMuted
               };
-            _v$7 !== _p$.e && (_p$.e = _$setProp(_el$17, "fg", _v$7, _p$.e));
-            _v$8 !== _p$.t && (_p$.t = _$setProp(_el$18, "style", _v$8, _p$.t));
+            _v$7 !== _p$.e && (_p$.e = _$setProp(_el$23, "fg", _v$7, _p$.e));
+            _v$8 !== _p$.t && (_p$.t = _$setProp(_el$24, "style", _v$8, _p$.t));
             return _p$;
           }, {
             e: undefined,
             t: undefined
           });
-          return _el$17;
+          return _el$23;
         })()
       }), _$createComponent(Show, {
         get when() {
           return folder();
         },
         get children() {
-          var _el$12 = _$createElement("text");
-          _$setProp(_el$12, "wrapMode", "none");
-          _$setProp(_el$12, "flexShrink", 0);
-          _$insert(_el$12, () => truncate(`in ${folder()}`, bodyCols()));
-          _$effect(_$p => _$setProp(_el$12, "fg", theme().textMuted, _$p));
-          return _el$12;
+          var _el$15 = _$createElement("text");
+          _$setProp(_el$15, "wrapMode", "none");
+          _$setProp(_el$15, "flexShrink", 0);
+          _$insert(_el$15, () => truncate(`in ${folder()}`, bodyCols()));
+          _$effect(_$p => _$setProp(_el$15, "fg", theme().textMuted, _$p));
+          return _el$15;
         }
       }), _$createComponent(Show, {
         get when() {
           return failure();
         },
         children: summary => (() => {
-          var _el$19 = _$createElement("text");
-          _$setProp(_el$19, "wrapMode", "none");
-          _$setProp(_el$19, "flexShrink", 0);
-          _$insert(_el$19, () => truncate(`${kindOf(s()) === "fail" ? "error" : "last output"}: ${summary()}`, bodyCols()));
-          _$effect(_$p => _$setProp(_el$19, "fg", kindColor(theme(), kindOf(s())), _$p));
-          return _el$19;
+          var _el$25 = _$createElement("text");
+          _$setProp(_el$25, "wrapMode", "none");
+          _$setProp(_el$25, "flexShrink", 0);
+          _$insert(_el$25, () => truncate(`${kindOf(s()) === "fail" ? "error" : "last output"}: ${summary()}`, bodyCols()));
+          _$effect(_$p => _$setProp(_el$25, "fg", kindColor(theme(), kindOf(s())), _$p));
+          return _el$25;
         })()
       }), (() => {
-        var _el$13 = _$createElement("box");
-        _$setProp(_el$13, "flexShrink", 0);
-        _$setProp(_el$13, "marginTop", 1);
-        _$setProp(_el$13, "marginBottom", 1);
-        _$setProp(_el$13, "border", ["left"]);
-        _$setProp(_el$13, "paddingLeft", 1);
-        _$setProp(_el$13, "overflow", "hidden");
-        _$insert(_el$13, _$createComponent(Show, {
+        var _el$16 = _$createElement("box");
+        _$setProp(_el$16, "flexShrink", 0);
+        _$setProp(_el$16, "marginTop", 1);
+        _$setProp(_el$16, "marginBottom", 1);
+        _$setProp(_el$16, "border", ["left"]);
+        _$setProp(_el$16, "paddingLeft", 1);
+        _$setProp(_el$16, "overflow", "hidden");
+        _$insert(_el$16, _$createComponent(Show, {
           get when() {
             return view() === "screen";
           },
           get children() {
-            var _el$14 = _$createElement("text");
-            _$setProp(_el$14, "wrapMode", "none");
-            _$insert(_el$14, () => screenText() || " ");
-            _$effect(_$p => _$setProp(_el$14, "fg", theme().text, _$p));
-            return _el$14;
+            return _$createComponent(Show, {
+              get when() {
+                return screenRuns().length > 0;
+              },
+              get fallback() {
+                return (() => {
+                  var _el$26 = _$createElement("text");
+                  _$setProp(_el$26, "wrapMode", "none");
+                  _$insert(_el$26, () => screenText() || " ");
+                  _$effect(_$p => _$setProp(_el$26, "fg", theme().text, _$p));
+                  return _el$26;
+                })();
+              },
+              get children() {
+                var _el$17 = _$createElement("box");
+                _$setProp(_el$17, "flexDirection", "column");
+                _$insert(_el$17, _$createComponent(For, {
+                  get each() {
+                    return screenRuns();
+                  },
+                  children: row => (() => {
+                    var _el$27 = _$createElement("text"),
+                      _el$28 = _$createTextNode(` `);
+                    _$insertNode(_el$27, _el$28);
+                    _$setProp(_el$27, "wrapMode", "none");
+                    _$insert(_el$27, _$createComponent(For, {
+                      each: row,
+                      children: run => (() => {
+                        var _el$29 = _$createElement("span");
+                        _$insert(_el$29, () => run.text);
+                        _$effect(_$p => _$setProp(_el$29, "style", {
+                          fg: run.fg,
+                          bg: run.bg,
+                          bold: run.bold,
+                          italic: run.italic
+                        }, _$p));
+                        return _el$29;
+                      })()
+                    }), _el$28);
+                    _$effect(_$p => _$setProp(_el$27, "fg", theme().text, _$p));
+                    return _el$27;
+                  })()
+                }));
+                return _el$17;
+              }
+            });
           }
         }), null);
-        _$insert(_el$13, _$createComponent(Show, {
+        _$insert(_el$16, _$createComponent(Show, {
           get when() {
             return view() === "details";
           },
           get children() {
-            var _el$15 = _$createElement("box");
-            _$setProp(_el$15, "flexDirection", "column");
-            _$insert(_el$15, _$createComponent(For, {
+            var _el$18 = _$createElement("box");
+            _$setProp(_el$18, "flexDirection", "column");
+            _$insert(_el$18, _$createComponent(For, {
               get each() {
                 return details();
               },
               children: ([key, value]) => (() => {
-                var _el$20 = _$createElement("text"),
-                  _el$21 = _$createElement("span");
-                _$insertNode(_el$20, _el$21);
-                _$setProp(_el$20, "wrapMode", "none");
-                _$insert(_el$21, () => key.padEnd(10));
-                _$insert(_el$20, value, null);
+                var _el$30 = _$createElement("text"),
+                  _el$31 = _$createElement("span");
+                _$insertNode(_el$30, _el$31);
+                _$setProp(_el$30, "wrapMode", "none");
+                _$insert(_el$31, () => key.padEnd(10));
+                _$insert(_el$30, value, null);
                 _$effect(_p$ => {
                   var _v$9 = theme().text,
                     _v$0 = {
                       fg: theme().textMuted
                     };
-                  _v$9 !== _p$.e && (_p$.e = _$setProp(_el$20, "fg", _v$9, _p$.e));
-                  _v$0 !== _p$.t && (_p$.t = _$setProp(_el$21, "style", _v$0, _p$.t));
+                  _v$9 !== _p$.e && (_p$.e = _$setProp(_el$30, "fg", _v$9, _p$.e));
+                  _v$0 !== _p$.t && (_p$.t = _$setProp(_el$31, "style", _v$0, _p$.t));
                   return _p$;
                 }, {
                   e: undefined,
                   t: undefined
                 });
-                return _el$20;
+                return _el$30;
               })()
             }));
-            return _el$15;
+            return _el$18;
           }
         }), null);
-        _$insert(_el$13, _$createComponent(Show, {
+        _$insert(_el$16, _$createComponent(Show, {
           get when() {
             return view() === "log";
           },
           get children() {
-            var _el$16 = _$createElement("scrollbox");
+            var _el$19 = _$createElement("scrollbox");
             _$use(el => {
               scroll = el;
-            }, _el$16);
-            _$setProp(_el$16, "flexGrow", 1);
-            _$setProp(_el$16, "stickyScroll", true);
-            _$setProp(_el$16, "stickyStart", "bottom");
-            _$setProp(_el$16, "verticalScrollbarOptions", {
+            }, _el$19);
+            _$setProp(_el$19, "flexGrow", 1);
+            _$setProp(_el$19, "stickyScroll", true);
+            _$setProp(_el$19, "stickyStart", "bottom");
+            _$setProp(_el$19, "verticalScrollbarOptions", {
               visible: false
             });
-            _$setProp(_el$16, "horizontalScrollbarOptions", {
+            _$setProp(_el$19, "horizontalScrollbarOptions", {
               visible: false
             });
-            _$insert(_el$16, _$createComponent(For, {
+            _$insert(_el$19, _$createComponent(For, {
               get each() {
                 return log();
               },
               children: line => (() => {
-                var _el$22 = _$createElement("text"),
-                  _el$23 = _$createElement("span"),
-                  _el$24 = _$createTextNode(` `);
-                _$insertNode(_el$22, _el$23);
-                _$setProp(_el$22, "wrapMode", "none");
-                _$insertNode(_el$23, _el$24);
-                _$insert(_el$23, () => String(line.n).padStart(5), _el$24);
-                _$insert(_el$22, () => truncate(line.text, bodyCols() - 7), null);
+                var _el$32 = _$createElement("text"),
+                  _el$33 = _$createElement("span"),
+                  _el$34 = _$createTextNode(` `);
+                _$insertNode(_el$32, _el$33);
+                _$setProp(_el$32, "wrapMode", "none");
+                _$insertNode(_el$33, _el$34);
+                _$insert(_el$33, () => String(line.n).padStart(5), _el$34);
+                _$insert(_el$32, _$createComponent(For, {
+                  get each() {
+                    return splitMatches(truncate(line.text, bodyCols() - 7), filter());
+                  },
+                  children: part => part.match ? (() => {
+                    var _el$35 = _$createElement("span");
+                    _$insert(_el$35, () => part.text);
+                    _$effect(_$p => _$setProp(_el$35, "style", {
+                      fg: theme().background,
+                      bg: theme().warning
+                    }, _$p));
+                    return _el$35;
+                  })() : (() => {
+                    var _el$36 = _$createElement("span");
+                    _$insert(_el$36, () => part.text);
+                    return _el$36;
+                  })()
+                }), null);
                 _$effect(_p$ => {
                   var _v$1 = theme().text,
                     _v$10 = {
                       fg: theme().textMuted
                     };
-                  _v$1 !== _p$.e && (_p$.e = _$setProp(_el$22, "fg", _v$1, _p$.e));
-                  _v$10 !== _p$.t && (_p$.t = _$setProp(_el$23, "style", _v$10, _p$.t));
+                  _v$1 !== _p$.e && (_p$.e = _$setProp(_el$32, "fg", _v$1, _p$.e));
+                  _v$10 !== _p$.t && (_p$.t = _$setProp(_el$33, "style", _v$10, _p$.t));
                   return _p$;
                 }, {
                   e: undefined,
                   t: undefined
                 });
-                return _el$22;
+                return _el$32;
               })()
-            }));
-            return _el$16;
+            }), null);
+            _$insert(_el$19, _$createComponent(Show, {
+              get when() {
+                return _$memo(() => !!filter())() && log().length === 0;
+              },
+              get children() {
+                var _el$20 = _$createElement("text"),
+                  _el$21 = _$createTextNode(`no lines match "`),
+                  _el$22 = _$createTextNode(`"`);
+                _$insertNode(_el$20, _el$21);
+                _$insertNode(_el$20, _el$22);
+                _$insert(_el$20, filter, _el$22);
+                _$effect(_$p => _$setProp(_el$20, "fg", theme().textMuted, _$p));
+                return _el$20;
+              }
+            }), null);
+            return _el$19;
           }
         }), null);
         _$effect(_p$ => {
           var _v$5 = bodyHeight(),
             _v$6 = typing() ? theme().accent : theme().border;
-          _v$5 !== _p$.e && (_p$.e = _$setProp(_el$13, "height", _v$5, _p$.e));
-          _v$6 !== _p$.t && (_p$.t = _$setProp(_el$13, "borderColor", _v$6, _p$.t));
+          _v$5 !== _p$.e && (_p$.e = _$setProp(_el$16, "height", _v$5, _p$.e));
+          _v$6 !== _p$.t && (_p$.t = _$setProp(_el$16, "borderColor", _v$6, _p$.t));
           return _p$;
         }, {
           e: undefined,
           t: undefined
         });
-        return _el$13;
+        return _el$16;
       })()]
     }), _el$2);
     _$setProp(_el$2, "height", 1);
@@ -592,37 +737,23 @@ export function Console(props) {
       },
       get fallback() {
         return (() => {
-          var _el$25 = _$createElement("text");
-          _$setProp(_el$25, "wrapMode", "none");
-          _$insert(_el$25, () => truncate(hint(), bodyCols()));
-          _$effect(_$p => _$setProp(_el$25, "fg", typing() ? theme().accent : theme().textMuted, _$p));
-          return _el$25;
+          var _el$37 = _$createElement("text");
+          _$setProp(_el$37, "wrapMode", "none");
+          _$insert(_el$37, () => truncate(hint(), bodyCols()));
+          _$effect(_$p => _$setProp(_el$37, "fg", typing() ? theme().accent : theme().textMuted, _$p));
+          return _el$37;
         })();
       },
       children: n => (() => {
-        var _el$26 = _$createElement("text");
-        _$setProp(_el$26, "wrapMode", "none");
-        _$insert(_el$26, () => truncate(n().text, bodyCols()));
-        _$effect(_$p => _$setProp(_el$26, "fg", n().tone === "error" ? theme().error : n().tone === "success" ? theme().success : theme().warning, _$p));
-        return _el$26;
+        var _el$38 = _$createElement("text");
+        _$setProp(_el$38, "wrapMode", "none");
+        _$insert(_el$38, () => truncate(n().text, bodyCols()));
+        _$effect(_$p => _$setProp(_el$38, "fg", n().tone === "error" ? theme().error : n().tone === "success" ? theme().success : theme().warning, _$p));
+        return _el$38;
       })()
     }));
     return _el$;
   })();
 }
 
-/** Everything about a shell, with the full command wrapped rather than cut. */
-function detailRows(s, now, cols) {
-  const width = Math.max(10, cols - 11);
-  const rows = [];
-  for (const [i, line] of wrapText(displayCommand(s), width, 12).entries()) rows.push([i === 0 ? "command" : "", line]);
-  rows.push(["folder", s.cwd]);
-  rows.push(["status", `${s.status}${s.exitCode !== undefined ? ` (exit ${s.exitCode})` : ""}${s.signal ? ` (${s.signal})` : ""}`]);
-  rows.push(["timing", statusDetail(s, now)]);
-  rows.push(["started", new Date(s.startedAt).toLocaleString()]);
-  if (s.summary) rows.push(["summary", truncate(s.summary, width)]);
-  rows.push(["id", `${s.id} · run ${s.run}${s.pid ? ` · pid ${s.pid}` : ""}`]);
-  rows.push(["owner", s.owner.session ? `agent session ${s.owner.session}` : "you"]);
-  rows.push(["output", `${s.lines.last} lines · ${Math.round(s.bytes / 1024)} KiB`]);
-  return rows;
-}
+/** Everything about a shell, with the full command wrapped rather than cut. */