opencode-sesh 2.1.2 → 2.1.3

package/dist/tui.js

@@ -2163,9 +2163,27 @@ function SidebarSessions(props) {
   })();
 }
 const HOME_SESSION_LIMIT = 6;
+// Layout baseline: OpenCode 2.2.4. Re-check these assumptions and the matching
+// tests/tui-home.mjs fixture when upgrading OpenCode: the fixture mirrors the
+// host layout, so it cannot detect upstream layout changes on its own.
+// Sources pinned to that release:
+// https://github.com/anomalyco/opencode/blob/45898d0f8569225eb1ddb4ee13f8581b34dff311/packages/tui/src/routes/home.tsx
+// https://github.com/anomalyco/opencode/blob/45898d0f8569225eb1ddb4ee13f8581b34dff311/packages/tui/src/component/prompt/index.tsx#L1676
+// https://github.com/anomalyco/opencode/blob/45898d0f8569225eb1ddb4ee13f8581b34dff311/packages/tui/src/component/logo.tsx
+// https://github.com/anomalyco/opencode/blob/45898d0f8569225eb1ddb4ee13f8581b34dff311/packages/tui/src/feature-plugins/home/footer.tsx
+// The native home needs room for its logo, composer chrome and status footer.
+// Reserve the editor's *maximum* height (one third of the terminal, at least
+// six lines), so typing/wrapping a prompt cannot push it into our footer.
+// Chrome: logo (4) + gap (1) + composer (6) + status (3). Below 44 columns,
+// the logo stacks to seven lines but the three-line status footer disappears.
+const HOME_CHROME_ROWS = 14;
 function HomeSessions(props) {
   const theme = () => props.api.theme.current;
   const home = process.env.HOME ?? "";
+  const [dimensions, setDimensions] = createSignal({
+    width: props.api.renderer.width,
+    height: props.api.renderer.height
+  });
   const [entries, setEntries] = createSignal([]);
   const [query, setQuery] = createSignal("");
   const [hovered, setHovered] = createSignal();
@@ -2301,7 +2319,15 @@ function HomeSessions(props) {
   onMount(() => {
     ensureRootMouse(props.api.renderer);
     rootMouseHandlers.add(onRootMouseDown);
-    onCleanup(() => rootMouseHandlers.delete(onRootMouseDown));
+    const resize = () => setDimensions({
+      width: props.api.renderer.width,
+      height: props.api.renderer.height
+    });
+    props.api.renderer.on("resize", resize);
+    onCleanup(() => {
+      rootMouseHandlers.delete(onRootMouseDown);
+      props.api.renderer.off("resize", resize);
+    });
   });
   const appendQuery = input => {
     if (input === "\b") setQuery(value => value.slice(0, -1));else setQuery(value => value + input);
@@ -2360,24 +2386,46 @@ function HomeSessions(props) {
     setEntries(snapshot.entries);
     setLoadFailed(snapshot.failed);
   })));
-  const visible = createMemo(() => {
+  const filtered = createMemo(() => {
     const q = query().trim().toLowerCase();
     const list = q ? entries().filter(entry => entry.title.toLowerCase().includes(q) || entry.dir.toLowerCase().includes(q)) : entries();
-    return pinnedFirst(list, props.pins()).slice(0, HOME_SESSION_LIMIT);
+    return pinnedFirst(list, props.pins());
+  });
+  const layout = createMemo(() => {
+    const rows = dimensions().height;
+    const budget = Math.max(0, rows - Math.max(6, Math.floor(rows / 3)) - HOME_CHROME_ROWS);
+    // Drop decorative padding/spacing before sessions. Keep the full list in
+    // the picker when even a heading and one session cannot fit.
+    const padding = budget >= HOME_SESSION_LIMIT + 2 ? 1 : 0;
+    const limit = Math.min(HOME_SESSION_LIMIT, Math.max(0, budget - padding - 1));
+    const count = Math.max(1, Math.min(filtered().length, limit));
+    return {
+      budget,
+      limit,
+      padding,
+      gap: budget >= 1 + padding + count * 2 ? 1 : 0
+    };
+  });
+  const visible = createMemo(() => filtered().slice(0, layout().limit));
+  createEffect(() => {
+    const ids = new Set(visible().map(entry => entry.id));
+    if (hovered() && !ids.has(hovered())) setHovered(undefined);
+    if (pendingDelete() && !ids.has(pendingDelete())) cancelDelete();
+    if (layout().limit === 0) setSearching(false);
   });
   return (() => {
     var _el$49 = _$createElement("box"),
       _el$50 = _$createElement("box");
     _$insertNode(_el$49, _el$50);
     _$setProp(_el$49, "width", "100%");
+    _$setProp(_el$49, "flexShrink", 0);
+    _$setProp(_el$49, "overflow", "hidden");
     _$setProp(_el$49, "alignItems", "center");
     _$setProp(_el$50, "flexDirection", "column");
     _$setProp(_el$50, "width", "100%");
     _$setProp(_el$50, "maxWidth", 72);
     _$setProp(_el$50, "paddingLeft", 1);
     _$setProp(_el$50, "paddingRight", 1);
-    _$setProp(_el$50, "paddingTop", 1);
-    _$setProp(_el$50, "gap", 1);
     _$insert(_el$50, _$createComponent(Show, {
       get when() {
         return entries().length > 0;
@@ -2386,27 +2434,17 @@ function HomeSessions(props) {
         return (() => {
           var _el$64 = _$createElement("box"),
             _el$65 = _$createElement("text"),
-            _el$67 = _$createElement("text");
+            _el$66 = _$createTextNode(`Recent sessions `);
           _$insertNode(_el$64, _el$65);
-          _$insertNode(_el$64, _el$67);
-          _$setProp(_el$64, "flexDirection", "row");
-          _$setProp(_el$64, "gap", 1);
-          _$insertNode(_el$65, _$createTextNode(`Recent sessions`));
-          _$insert(_el$67, () => loadFailed() ? "· list unavailable, will retry" : "· none yet, option+o to browse");
-          _$effect(_p$ => {
-            var _v$33 = {
-                fg: theme().textMuted
-              },
-              _v$34 = {
-                fg: theme().textMuted
-              };
-            _v$33 !== _p$.e && (_p$.e = _$setProp(_el$65, "style", _v$33, _p$.e));
-            _v$34 !== _p$.t && (_p$.t = _$setProp(_el$67, "style", _v$34, _p$.t));
-            return _p$;
-          }, {
-            e: undefined,
-            t: undefined
-          });
+          _$setProp(_el$64, "height", 1);
+          _$setProp(_el$64, "flexShrink", 0);
+          _$insertNode(_el$65, _el$66);
+          _$setProp(_el$65, "wrapMode", "none");
+          _$setProp(_el$65, "overflow", "hidden");
+          _$insert(_el$65, () => loadFailed() ? "· list unavailable, will retry" : "· none yet, option+o to browse", null);
+          _$effect(_$p => _$setProp(_el$65, "style", {
+            fg: theme().textMuted
+          }, _$p));
           return _el$64;
         })();
       },
@@ -2415,23 +2453,40 @@ function HomeSessions(props) {
           var _el$51 = _$createElement("box"),
             _el$52 = _$createElement("box"),
             _el$53 = _$createElement("text"),
-            _el$55 = _$createElement("text"),
             _el$57 = _$createElement("box"),
             _el$58 = _$createElement("box"),
             _el$59 = _$createElement("text");
           _$insertNode(_el$51, _el$52);
           _$insertNode(_el$51, _el$57);
+          _$setProp(_el$51, "height", 1);
+          _$setProp(_el$51, "flexShrink", 0);
           _$setProp(_el$51, "flexDirection", "row");
           _$setProp(_el$51, "justifyContent", "space-between");
           _$setProp(_el$51, "gap", 2);
+          _$setProp(_el$51, "overflow", "hidden");
           _$insertNode(_el$52, _el$53);
-          _$insertNode(_el$52, _el$55);
           _$setProp(_el$52, "flexDirection", "row");
           _$setProp(_el$52, "gap", 1);
+          _$setProp(_el$52, "flexShrink", 0);
           _$insertNode(_el$53, _$createTextNode(`Recent sessions`));
-          _$insertNode(_el$55, _$createTextNode(`· option+o for all`));
+          _$setProp(_el$53, "wrapMode", "none");
+          _$insert(_el$52, _$createComponent(Show, {
+            get when() {
+              return dimensions().width >= 68;
+            },
+            get children() {
+              var _el$55 = _$createElement("text");
+              _$insertNode(_el$55, _$createTextNode(`· option+o for all`));
+              _$effect(_$p => _$setProp(_el$55, "style", {
+                fg: theme().textMuted
+              }, _$p));
+              return _el$55;
+            }
+          }), null);
           _$insertNode(_el$57, _el$58);
           _$setProp(_el$57, "flexDirection", "row");
+          _$setProp(_el$57, "flexShrink", 1);
+          _$setProp(_el$57, "minWidth", 0);
           _$setProp(_el$57, "gap", 1);
           _$setProp(_el$57, "paddingLeft", 1);
           _$setProp(_el$57, "paddingRight", 1);
@@ -2441,6 +2496,8 @@ function HomeSessions(props) {
           });
           _$insertNode(_el$58, _el$59);
           _$setProp(_el$58, "width", 24);
+          _$setProp(_el$58, "flexShrink", 1);
+          _$setProp(_el$58, "minWidth", 0);
           _$setProp(_el$59, "flexGrow", 1);
           _$setProp(_el$59, "flexShrink", 1);
           _$setProp(_el$59, "overflow", "hidden");
@@ -2466,23 +2523,18 @@ function HomeSessions(props) {
             var _v$29 = {
                 fg: theme().textMuted
               },
-              _v$30 = {
-                fg: theme().textMuted
-              },
-              _v$31 = searching() ? theme().backgroundElement : RGBA.fromInts(0, 0, 0, 0),
-              _v$32 = {
+              _v$30 = searching() ? theme().backgroundElement : RGBA.fromInts(0, 0, 0, 0),
+              _v$31 = {
                 fg: query() ? theme().text : theme().textMuted
               };
             _v$29 !== _p$.e && (_p$.e = _$setProp(_el$53, "style", _v$29, _p$.e));
-            _v$30 !== _p$.t && (_p$.t = _$setProp(_el$55, "style", _v$30, _p$.t));
-            _v$31 !== _p$.a && (_p$.a = _$setProp(_el$57, "backgroundColor", _v$31, _p$.a));
-            _v$32 !== _p$.o && (_p$.o = _$setProp(_el$59, "style", _v$32, _p$.o));
+            _v$30 !== _p$.t && (_p$.t = _$setProp(_el$57, "backgroundColor", _v$30, _p$.t));
+            _v$31 !== _p$.a && (_p$.a = _$setProp(_el$59, "style", _v$31, _p$.a));
             return _p$;
           }, {
             e: undefined,
             t: undefined,
-            a: undefined,
-            o: undefined
+            a: undefined
           });
           return _el$51;
         })(), _$createComponent(For, {
@@ -2490,21 +2542,24 @@ function HomeSessions(props) {
             return visible();
           },
           children: entry => (() => {
-            var _el$68 = _$createElement("box"),
-              _el$69 = _$createElement("text"),
-              _el$71 = _$createElement("text");
-            _$insertNode(_el$68, _el$69);
-            _$insertNode(_el$68, _el$71);
-            _$setProp(_el$68, "flexDirection", "row");
-            _$setProp(_el$68, "gap", 1);
-            _$setProp(_el$68, "onMouseOver", () => setHovered(entry.id));
-            _$setProp(_el$68, "onMouseOut", () => setHovered(undefined));
-            _$setProp(_el$68, "onMouseDown", event => event.button === RIGHT_BUTTON ? openInCmuxWorkspace(props.api, entry) : props.api.route.navigate("session", {
+            var _el$67 = _$createElement("box"),
+              _el$68 = _$createElement("text"),
+              _el$70 = _$createElement("text");
+            _$insertNode(_el$67, _el$68);
+            _$insertNode(_el$67, _el$70);
+            _$setProp(_el$67, "height", 1);
+            _$setProp(_el$67, "flexShrink", 0);
+            _$setProp(_el$67, "overflow", "hidden");
+            _$setProp(_el$67, "flexDirection", "row");
+            _$setProp(_el$67, "gap", 1);
+            _$setProp(_el$67, "onMouseOver", () => setHovered(entry.id));
+            _$setProp(_el$67, "onMouseOut", () => setHovered(undefined));
+            _$setProp(_el$67, "onMouseDown", event => event.button === RIGHT_BUTTON ? openInCmuxWorkspace(props.api, entry) : props.api.route.navigate("session", {
               sessionID: entry.id
             }));
-            _$insertNode(_el$69, _$createTextNode(`○`));
-            _$setProp(_el$69, "flexShrink", 0);
-            _$insert(_el$68, _$createComponent(Highlighted, {
+            _$insertNode(_el$68, _$createTextNode(`○`));
+            _$setProp(_el$68, "flexShrink", 0);
+            _$insert(_el$67, _$createComponent(Highlighted, {
               get text() {
                 return `${props.pins().sessions.includes(entry.id) ? "★ " : ""}${truncate(entry.title, HOME_TITLE_WIDTH - (props.pins().sessions.includes(entry.id) ? 2 : 0))}`;
               },
@@ -2517,30 +2572,35 @@ function HomeSessions(props) {
               get matchColor() {
                 return theme().warning;
               }
-            }), _el$71);
-            _$setProp(_el$71, "flexShrink", 0);
-            _$insert(_el$71, (() => {
+            }), _el$70);
+            _$setProp(_el$70, "flexShrink", 1);
+            _$setProp(_el$70, "wrapMode", "none");
+            _$setProp(_el$70, "overflow", "hidden");
+            _$insert(_el$70, (() => {
               var _c$5 = _$memo(() => pendingDelete() === entry.id);
               return () => _c$5() ? "option+d again" : `${props.pins().directories.includes(entry.dir) ? "★ " : ""}${prettyDir(entry.dir, home)} · ${ago(entry.updated)}`;
             })());
             _$effect(_p$ => {
-              var _v$35 = entry.id === hovered() ? theme().backgroundElement : RGBA.fromInts(0, 0, 0, 0),
-                _v$36 = {
+              var _v$36 = entry.id === hovered() ? theme().backgroundElement : RGBA.fromInts(0, 0, 0, 0),
+                _v$37 = {
                   fg: theme().textMuted
                 },
-                _v$37 = {
+                _v$38 = Math.max(0, Math.floor((Math.min(72, dimensions().width) - 4) / 2)),
+                _v$39 = {
                   fg: pendingDelete() === entry.id ? theme().error : theme().textMuted
                 };
-              _v$35 !== _p$.e && (_p$.e = _$setProp(_el$68, "backgroundColor", _v$35, _p$.e));
-              _v$36 !== _p$.t && (_p$.t = _$setProp(_el$69, "style", _v$36, _p$.t));
-              _v$37 !== _p$.a && (_p$.a = _$setProp(_el$71, "style", _v$37, _p$.a));
+              _v$36 !== _p$.e && (_p$.e = _$setProp(_el$67, "backgroundColor", _v$36, _p$.e));
+              _v$37 !== _p$.t && (_p$.t = _$setProp(_el$68, "style", _v$37, _p$.t));
+              _v$38 !== _p$.a && (_p$.a = _$setProp(_el$70, "maxWidth", _v$38, _p$.a));
+              _v$39 !== _p$.o && (_p$.o = _$setProp(_el$70, "style", _v$39, _p$.o));
               return _p$;
             }, {
               e: undefined,
               t: undefined,
-              a: undefined
+              a: undefined,
+              o: undefined
             });
-            return _el$68;
+            return _el$67;
           })()
         }), _$createComponent(Show, {
           get when() {
@@ -2549,6 +2609,10 @@ function HomeSessions(props) {
           get children() {
             var _el$62 = _$createElement("text");
             _$insertNode(_el$62, _$createTextNode(`No title or directory matches · option+o to search transcripts`));
+            _$setProp(_el$62, "height", 1);
+            _$setProp(_el$62, "flexShrink", 0);
+            _$setProp(_el$62, "wrapMode", "none");
+            _$setProp(_el$62, "overflow", "hidden");
             _$effect(_$p => _$setProp(_el$62, "style", {
               fg: theme().textMuted
             }, _$p));
@@ -2557,6 +2621,22 @@ function HomeSessions(props) {
         })];
       }
     }));
+    _$effect(_p$ => {
+      var _v$32 = layout().limit > 0,
+        _v$33 = layout().budget,
+        _v$34 = layout().padding,
+        _v$35 = layout().gap;
+      _v$32 !== _p$.e && (_p$.e = _$setProp(_el$49, "visible", _v$32, _p$.e));
+      _v$33 !== _p$.t && (_p$.t = _$setProp(_el$49, "maxHeight", _v$33, _p$.t));
+      _v$34 !== _p$.a && (_p$.a = _$setProp(_el$50, "paddingTop", _v$34, _p$.a));
+      _v$35 !== _p$.o && (_p$.o = _$setProp(_el$50, "gap", _v$35, _p$.o));
+      return _p$;
+    }, {
+      e: undefined,
+      t: undefined,
+      a: undefined,
+      o: undefined
+    });
     return _el$49;
   })();
 }
@@ -3120,64 +3200,64 @@ const tui = async api => {
       if (previewTimer) clearTimeout(previewTimer);
     };
     api.ui.dialog.replace(() => (() => {
-      var _el$72 = _$createElement("box"),
+      var _el$71 = _$createElement("box"),
+        _el$72 = _$createElement("box"),
         _el$73 = _$createElement("box"),
-        _el$74 = _$createElement("box"),
-        _el$75 = _$createElement("text"),
-        _el$76 = _$createTextNode(`Sessions `),
-        _el$77 = _$createElement("span"),
-        _el$78 = _$createTextNode(`(`),
-        _el$79 = _$createTextNode(`)`),
-        _el$80 = _$createElement("text"),
-        _el$82 = _$createElement("box"),
-        _el$83 = _$createElement("input"),
-        _el$86 = _$createElement("box"),
+        _el$74 = _$createElement("text"),
+        _el$75 = _$createTextNode(`Sessions `),
+        _el$76 = _$createElement("span"),
+        _el$77 = _$createTextNode(`(`),
+        _el$78 = _$createTextNode(`)`),
+        _el$79 = _$createElement("text"),
+        _el$81 = _$createElement("box"),
+        _el$82 = _$createElement("input"),
+        _el$85 = _$createElement("box"),
+        _el$86 = _$createElement("text"),
         _el$87 = _$createElement("text"),
         _el$88 = _$createElement("text"),
-        _el$89 = _$createElement("text"),
-        _el$90 = _$createElement("box"),
-        _el$93 = _$createElement("box"),
-        _el$94 = _$createElement("text");
+        _el$89 = _$createElement("box"),
+        _el$92 = _$createElement("box"),
+        _el$93 = _$createElement("text");
+      _$insertNode(_el$71, _el$72);
+      _$insertNode(_el$71, _el$89);
+      _$insertNode(_el$71, _el$92);
+      _$setProp(_el$71, "flexDirection", "column");
+      _$setProp(_el$71, "paddingTop", 1);
+      _$setProp(_el$71, "paddingBottom", 1);
+      _$setProp(_el$71, "gap", 1);
       _$insertNode(_el$72, _el$73);
-      _$insertNode(_el$72, _el$90);
-      _$insertNode(_el$72, _el$93);
-      _$setProp(_el$72, "flexDirection", "column");
-      _$setProp(_el$72, "paddingTop", 1);
-      _$setProp(_el$72, "paddingBottom", 1);
-      _$setProp(_el$72, "gap", 1);
+      _$insertNode(_el$72, _el$81);
+      _$insertNode(_el$72, _el$85);
+      _$setProp(_el$72, "paddingLeft", 4);
+      _$setProp(_el$72, "paddingRight", 4);
       _$insertNode(_el$73, _el$74);
-      _$insertNode(_el$73, _el$82);
-      _$insertNode(_el$73, _el$86);
-      _$setProp(_el$73, "paddingLeft", 4);
-      _$setProp(_el$73, "paddingRight", 4);
+      _$insertNode(_el$73, _el$79);
+      _$setProp(_el$73, "flexDirection", "row");
+      _$setProp(_el$73, "justifyContent", "space-between");
       _$insertNode(_el$74, _el$75);
-      _$insertNode(_el$74, _el$80);
-      _$setProp(_el$74, "flexDirection", "row");
-      _$setProp(_el$74, "justifyContent", "space-between");
-      _$insertNode(_el$75, _el$76);
-      _$insertNode(_el$75, _el$77);
-      _$insertNode(_el$77, _el$78);
-      _$insertNode(_el$77, _el$79);
-      _$insert(_el$77, () => selectableEntries().length, _el$79);
-      _$insertNode(_el$80, _$createTextNode(`esc`));
-      _$setProp(_el$80, "onMouseUp", close);
-      _$insertNode(_el$82, _el$83);
-      _$setProp(_el$82, "paddingTop", 1);
-      _$setProp(_el$83, "focused", true);
-      _$setProp(_el$83, "placeholder", "Search title, directory, transcript…");
-      _$setProp(_el$83, "cursorStyle", {
+      _$insertNode(_el$74, _el$76);
+      _$insertNode(_el$76, _el$77);
+      _$insertNode(_el$76, _el$78);
+      _$insert(_el$76, () => selectableEntries().length, _el$78);
+      _$insertNode(_el$79, _$createTextNode(`esc`));
+      _$setProp(_el$79, "onMouseUp", close);
+      _$insertNode(_el$81, _el$82);
+      _$setProp(_el$81, "paddingTop", 1);
+      _$setProp(_el$82, "focused", true);
+      _$setProp(_el$82, "placeholder", "Search title, directory, transcript…");
+      _$setProp(_el$82, "cursorStyle", {
         style: "line",
         blinking: false
       });
-      _$setProp(_el$83, "onInput", value => {
+      _$setProp(_el$82, "onInput", value => {
         if (pendingDelete()) return;
         setQuery(value);
       });
-      _$setProp(_el$83, "onSubmit", () => {
+      _$setProp(_el$82, "onSubmit", () => {
         if (confirmArmed()) return;
         choose();
       });
-      _$setProp(_el$83, "onKeyDown", event => {
+      _$setProp(_el$82, "onKeyDown", event => {
         if (event.name === "escape") {
           event.preventDefault();
           handleEscape();
@@ -3209,92 +3289,92 @@ const tui = async api => {
           }
         }
       });
-      _$insert(_el$73, _$createComponent(Show, {
+      _$insert(_el$72, _$createComponent(Show, {
         get when() {
           return coverageLabel();
         },
         get children() {
-          var _el$84 = _$createElement("box"),
-            _el$85 = _$createElement("text");
-          _$insertNode(_el$84, _el$85);
-          _$setProp(_el$84, "paddingTop", 1);
-          _$insert(_el$85, coverageLabel);
-          _$effect(_$p => _$setProp(_el$85, "style", {
+          var _el$83 = _$createElement("box"),
+            _el$84 = _$createElement("text");
+          _$insertNode(_el$83, _el$84);
+          _$setProp(_el$83, "paddingTop", 1);
+          _$insert(_el$84, coverageLabel);
+          _$effect(_$p => _$setProp(_el$84, "style", {
             fg: api.theme.current.textMuted
           }, _$p));
-          return _el$84;
+          return _el$83;
         }
-      }), _el$86);
-      _$insertNode(_el$86, _el$87);
-      _$insertNode(_el$86, _el$88);
-      _$insertNode(_el$86, _el$89);
-      _$setProp(_el$86, "flexDirection", "row");
-      _$setProp(_el$86, "gap", 2);
-      _$setProp(_el$86, "paddingTop", 1);
-      _$setProp(_el$87, "onMouseDown", () => {
+      }), _el$85);
+      _$insertNode(_el$85, _el$86);
+      _$insertNode(_el$85, _el$87);
+      _$insertNode(_el$85, _el$88);
+      _$setProp(_el$85, "flexDirection", "row");
+      _$setProp(_el$85, "gap", 2);
+      _$setProp(_el$85, "paddingTop", 1);
+      _$setProp(_el$86, "onMouseDown", () => {
         const group = currentProject();
         if (group) setScope(scope() === group ? undefined : group);else api.ui.toast({
           message: "No current project to filter",
           variant: "info"
         });
       });
-      _$insert(_el$87, (() => {
+      _$insert(_el$86, (() => {
         var _c$6 = _$memo(() => !!scope());
         return () => _c$6() ? `Project: ${truncate(scope(), 22)}` : "Project: all";
       })());
-      _$setProp(_el$88, "onMouseDown", () => setWaitingOnly(value => !value));
-      _$insert(_el$88, () => waitingOnly() ? "● Needs input" : "○ Needs input");
-      _$setProp(_el$89, "onMouseDown", () => setPinnedOnly(value => !value));
-      _$insert(_el$89, () => pinnedOnly() ? "★ Pinned" : "☆ Pinned");
-      _$setProp(_el$90, "flexDirection", "column");
-      _$setProp(_el$90, "flexGrow", 1);
-      _$setProp(_el$90, "overflow", "hidden");
-      _$setProp(_el$90, "onMouseScroll", event => {
+      _$setProp(_el$87, "onMouseDown", () => setWaitingOnly(value => !value));
+      _$insert(_el$87, () => waitingOnly() ? "● Needs input" : "○ Needs input");
+      _$setProp(_el$88, "onMouseDown", () => setPinnedOnly(value => !value));
+      _$insert(_el$88, () => pinnedOnly() ? "★ Pinned" : "☆ Pinned");
+      _$setProp(_el$89, "flexDirection", "column");
+      _$setProp(_el$89, "flexGrow", 1);
+      _$setProp(_el$89, "overflow", "hidden");
+      _$setProp(_el$89, "onMouseScroll", event => {
         scrollPicker(event.scroll);
       });
-      _$insert(_el$90, _$createComponent(For, {
+      _$insert(_el$89, _$createComponent(For, {
         get each() {
           return visiblePickerRows();
         },
         children: row => {
           if (row.kind === "group") return (() => {
-            var _el$107 = _$createElement("box"),
+            var _el$106 = _$createElement("box"),
+              _el$107 = _$createElement("text"),
               _el$108 = _$createElement("text"),
-              _el$109 = _$createElement("text"),
-              _el$110 = _$createTextNode(` (`),
-              _el$111 = _$createTextNode(`)`);
-            _$insertNode(_el$107, _el$108);
-            _$insertNode(_el$107, _el$109);
-            _$setProp(_el$107, "flexDirection", "row");
-            _$setProp(_el$107, "paddingLeft", 4);
-            _$setProp(_el$107, "paddingRight", 4);
-            _$setProp(_el$107, "onMouseDown", () => setCollapsed(state => ({
+              _el$109 = _$createTextNode(` (`),
+              _el$110 = _$createTextNode(`)`);
+            _$insertNode(_el$106, _el$107);
+            _$insertNode(_el$106, _el$108);
+            _$setProp(_el$106, "flexDirection", "row");
+            _$setProp(_el$106, "paddingLeft", 4);
+            _$setProp(_el$106, "paddingRight", 4);
+            _$setProp(_el$106, "onMouseDown", () => setCollapsed(state => ({
               ...state,
               [row.dir]: !state[row.dir]
             })));
-            _$setProp(_el$108, "flexGrow", 1);
-            _$setProp(_el$108, "flexShrink", 1);
-            _$setProp(_el$108, "wrapMode", "none");
-            _$insert(_el$108, () => collapsed()[row.dir] && !query().trim() ? "▸ " : "▾ ", null);
-            _$insert(_el$108, () => row.pinned ? "★ " : "", null);
-            _$insert(_el$108, () => row.label, null);
-            _$insertNode(_el$109, _el$110);
-            _$insertNode(_el$109, _el$111);
-            _$setProp(_el$109, "flexShrink", 0);
-            _$insert(_el$109, () => row.count, _el$111);
+            _$setProp(_el$107, "flexGrow", 1);
+            _$setProp(_el$107, "flexShrink", 1);
+            _$setProp(_el$107, "wrapMode", "none");
+            _$insert(_el$107, () => collapsed()[row.dir] && !query().trim() ? "▸ " : "▾ ", null);
+            _$insert(_el$107, () => row.pinned ? "★ " : "", null);
+            _$insert(_el$107, () => row.label, null);
+            _$insertNode(_el$108, _el$109);
+            _$insertNode(_el$108, _el$110);
+            _$setProp(_el$108, "flexShrink", 0);
+            _$insert(_el$108, () => row.count, _el$110);
             _$effect(_p$ => {
-              var _v$58 = row.continued ? 0 : 1,
-                _v$59 = {
+              var _v$60 = row.continued ? 0 : 1,
+                _v$61 = {
                   fg: api.theme.current.accent
                 },
-                _v$60 = TextAttributes.BOLD,
-                _v$61 = {
+                _v$62 = TextAttributes.BOLD,
+                _v$63 = {
                   fg: api.theme.current.textMuted
                 };
-              _v$58 !== _p$.e && (_p$.e = _$setProp(_el$107, "paddingTop", _v$58, _p$.e));
-              _v$59 !== _p$.t && (_p$.t = _$setProp(_el$108, "style", _v$59, _p$.t));
-              _v$60 !== _p$.a && (_p$.a = _$setProp(_el$108, "attributes", _v$60, _p$.a));
-              _v$61 !== _p$.o && (_p$.o = _$setProp(_el$109, "style", _v$61, _p$.o));
+              _v$60 !== _p$.e && (_p$.e = _$setProp(_el$106, "paddingTop", _v$60, _p$.e));
+              _v$61 !== _p$.t && (_p$.t = _$setProp(_el$107, "style", _v$61, _p$.t));
+              _v$62 !== _p$.a && (_p$.a = _$setProp(_el$107, "attributes", _v$62, _p$.a));
+              _v$63 !== _p$.o && (_p$.o = _$setProp(_el$108, "style", _v$63, _p$.o));
               return _p$;
             }, {
               e: undefined,
@@ -3302,46 +3382,46 @@ const tui = async api => {
               a: undefined,
               o: undefined
             });
-            return _el$107;
+            return _el$106;
           })();
           const excerpt = createMemo(() => transcriptMatchExcerpt(searchIndex().get(row.entry.id), row.entry, query()));
           return (() => {
-            var _el$112 = _$createElement("box"),
-              _el$113 = _$createElement("box"),
-              _el$114 = _$createElement("text"),
-              _el$117 = _$createElement("text");
-            _$insertNode(_el$112, _el$113);
-            _$setProp(_el$112, "flexDirection", "column");
-            _$setProp(_el$112, "paddingLeft", 6);
-            _$setProp(_el$112, "paddingRight", 4);
-            _$setProp(_el$112, "onMouseMove", () => {
+            var _el$111 = _$createElement("box"),
+              _el$112 = _$createElement("box"),
+              _el$113 = _$createElement("text"),
+              _el$116 = _$createElement("text");
+            _$insertNode(_el$111, _el$112);
+            _$setProp(_el$111, "flexDirection", "column");
+            _$setProp(_el$111, "paddingLeft", 6);
+            _$setProp(_el$111, "paddingRight", 4);
+            _$setProp(_el$111, "onMouseMove", () => {
               // Repainting under a stationary pointer must not select
               // another row while the wheel is moving the viewport.
               const index = selectableEntries().findIndex(entry => entry.id === row.entry.id);
               if (index >= 0) setCursor(index);
             });
-            _$setProp(_el$112, "onMouseDown", event => event.button === RIGHT_BUTTON ? (cleanup(), api.ui.dialog.clear(), openInCmuxWorkspace(api, row.entry)) : choose(row.entry));
-            _$insertNode(_el$113, _el$114);
-            _$insertNode(_el$113, _el$117);
-            _$setProp(_el$113, "flexDirection", "row");
-            _$setProp(_el$113, "gap", 1);
-            _$setProp(_el$114, "flexShrink", 0);
-            _$insert(_el$114, () => row.last ? "└" : "├");
-            _$insert(_el$113, _$createComponent(Show, {
+            _$setProp(_el$111, "onMouseDown", event => event.button === RIGHT_BUTTON ? (cleanup(), api.ui.dialog.clear(), openInCmuxWorkspace(api, row.entry)) : choose(row.entry));
+            _$insertNode(_el$112, _el$113);
+            _$insertNode(_el$112, _el$116);
+            _$setProp(_el$112, "flexDirection", "row");
+            _$setProp(_el$112, "gap", 1);
+            _$setProp(_el$113, "flexShrink", 0);
+            _$insert(_el$113, () => row.last ? "└" : "├");
+            _$insert(_el$112, _$createComponent(Show, {
               get when() {
                 return row.entry.id === currentSessionID();
               },
               get children() {
-                var _el$115 = _$createElement("text");
-                _$insertNode(_el$115, _$createTextNode(`●`));
-                _$setProp(_el$115, "flexShrink", 0);
-                _$effect(_$p => _$setProp(_el$115, "style", {
+                var _el$114 = _$createElement("text");
+                _$insertNode(_el$114, _$createTextNode(`●`));
+                _$setProp(_el$114, "flexShrink", 0);
+                _$effect(_$p => _$setProp(_el$114, "style", {
                   fg: row.entry.id === selectableEntries()[cursor()]?.id ? api.theme.current.text : api.theme.current.primary
                 }, _$p));
-                return _el$115;
+                return _el$114;
               }
-            }), _el$117);
-            _$insert(_el$113, _$createComponent(Highlighted, {
+            }), _el$116);
+            _$insert(_el$112, _$createComponent(Highlighted, {
               get text() {
                 return `${pins().sessions.includes(row.entry.id) ? "★ " : ""}${truncate(row.entry.title, pins().sessions.includes(row.entry.id) ? 59 : 61)}`;
               },
@@ -3357,26 +3437,26 @@ const tui = async api => {
               get matchColor() {
                 return _$memo(() => row.entry.id === selectableEntries()[cursor()]?.id)() ? api.theme.current.text : api.theme.current.warning;
               }
-            }), _el$117);
-            _$setProp(_el$117, "flexShrink", 0);
-            _$insert(_el$117, (() => {
+            }), _el$116);
+            _$setProp(_el$116, "flexShrink", 0);
+            _$insert(_el$116, (() => {
               var _c$0 = _$memo(() => pendingDelete()?.id === row.entry.id);
               return () => _c$0() ? "press y to delete" : `${ago(row.entry.updated)}${query().trim() && !`${row.entry.title} ${row.entry.dir}`.toLowerCase().includes(query().trim().toLowerCase()) ? " · transcript match" : ""}`;
             })());
-            _$insert(_el$112, _$createComponent(Show, {
+            _$insert(_el$111, _$createComponent(Show, {
               get when() {
                 return excerpt();
               },
               children: match => (() => {
-                var _el$118 = _$createElement("box"),
-                  _el$119 = _$createElement("text");
-                _$insertNode(_el$118, _el$119);
-                _$setProp(_el$118, "flexDirection", "row");
-                _$setProp(_el$118, "gap", 1);
-                _$setProp(_el$118, "paddingLeft", 2);
-                _$insertNode(_el$119, _$createTextNode(`↳`));
-                _$setProp(_el$119, "flexShrink", 0);
-                _$insert(_el$118, _$createComponent(Highlighted, {
+                var _el$117 = _$createElement("box"),
+                  _el$118 = _$createElement("text");
+                _$insertNode(_el$117, _el$118);
+                _$setProp(_el$117, "flexDirection", "row");
+                _$setProp(_el$117, "gap", 1);
+                _$setProp(_el$117, "paddingLeft", 2);
+                _$insertNode(_el$118, _$createTextNode(`↳`));
+                _$setProp(_el$118, "flexShrink", 0);
+                _$insert(_el$117, _$createComponent(Highlighted, {
                   get text() {
                     return match();
                   },
@@ -3390,140 +3470,140 @@ const tui = async api => {
                     return api.theme.current.warning;
                   }
                 }), null);
-                _$effect(_$p => _$setProp(_el$119, "style", {
+                _$effect(_$p => _$setProp(_el$118, "style", {
                   fg: api.theme.current.textMuted
                 }, _$p));
-                return _el$118;
+                return _el$117;
               })()
             }), null);
             _$effect(_p$ => {
-              var _v$62 = row.entry.id === selectableEntries()[cursor()]?.id ? api.theme.current.backgroundElement : RGBA.fromInts(0, 0, 0, 0),
-                _v$63 = {
+              var _v$64 = row.entry.id === selectableEntries()[cursor()]?.id ? api.theme.current.backgroundElement : RGBA.fromInts(0, 0, 0, 0),
+                _v$65 = {
                   fg: row.entry.id === selectableEntries()[cursor()]?.id ? api.theme.current.text : api.theme.current.textMuted
                 },
-                _v$64 = {
+                _v$66 = {
                   fg: pendingDelete()?.id === row.entry.id ? api.theme.current.error : row.entry.id === selectableEntries()[cursor()]?.id ? api.theme.current.text : api.theme.current.textMuted
                 };
-              _v$62 !== _p$.e && (_p$.e = _$setProp(_el$112, "backgroundColor", _v$62, _p$.e));
-              _v$63 !== _p$.t && (_p$.t = _$setProp(_el$114, "style", _v$63, _p$.t));
-              _v$64 !== _p$.a && (_p$.a = _$setProp(_el$117, "style", _v$64, _p$.a));
+              _v$64 !== _p$.e && (_p$.e = _$setProp(_el$111, "backgroundColor", _v$64, _p$.e));
+              _v$65 !== _p$.t && (_p$.t = _$setProp(_el$113, "style", _v$65, _p$.t));
+              _v$66 !== _p$.a && (_p$.a = _$setProp(_el$116, "style", _v$66, _p$.a));
               return _p$;
             }, {
               e: undefined,
               t: undefined,
               a: undefined
             });
-            return _el$112;
+            return _el$111;
           })();
         }
       }), null);
-      _$insert(_el$90, _$createComponent(Show, {
+      _$insert(_el$89, _$createComponent(Show, {
         get when() {
           return matchedGroups().length === 0;
         },
         get children() {
-          var _el$91 = _$createElement("box"),
-            _el$92 = _$createElement("text");
-          _$insertNode(_el$91, _el$92);
-          _$setProp(_el$91, "paddingLeft", 4);
-          _$setProp(_el$91, "paddingRight", 4);
-          _$insert(_el$92, (() => {
+          var _el$90 = _$createElement("box"),
+            _el$91 = _$createElement("text");
+          _$insertNode(_el$90, _el$91);
+          _$setProp(_el$90, "paddingLeft", 4);
+          _$setProp(_el$90, "paddingRight", 4);
+          _$insert(_el$91, (() => {
             var _c$7 = _$memo(() => !!(waitingOnly() && waitingCoverage() === "loading"));
             return () => _c$7() ? "Checking which sessions need input…" : _$memo(() => !!(waitingOnly() && waitingCoverage() === "unavailable"))() ? "Needs-input data unavailable · turn off the filter" : _$memo(() => !!(pinnedOnly() && pins().sessions.length === 0))() ? "No pinned sessions yet · ctrl+s pins a session" : _$memo(() => !!(!indexProgress().complete && query().trim()))() ? "No matches yet · still searching transcripts…" : _$memo(() => !!scope())() ? `No matches in ${scope()} · ctrl+g for all projects` : waitingOnly() ? "No sessions need input with these filters" : "No sessions match · try another search";
           })());
-          _$effect(_$p => _$setProp(_el$92, "style", {
+          _$effect(_$p => _$setProp(_el$91, "style", {
             fg: api.theme.current.textMuted
           }, _$p));
-          return _el$91;
+          return _el$90;
         }
       }), null);
-      _$insertNode(_el$93, _el$94);
-      _$setProp(_el$93, "paddingLeft", 4);
-      _$setProp(_el$93, "paddingRight", 4);
-      _$setProp(_el$93, "flexShrink", 0);
-      _$setProp(_el$93, "flexDirection", "column");
-      _$insert(_el$94, (() => {
+      _$insertNode(_el$92, _el$93);
+      _$setProp(_el$92, "paddingLeft", 4);
+      _$setProp(_el$92, "paddingRight", 4);
+      _$setProp(_el$92, "flexShrink", 0);
+      _$setProp(_el$92, "flexDirection", "column");
+      _$insert(_el$93, (() => {
         var _c$8 = _$memo(() => !!pendingDelete());
         return () => _c$8() ? `Delete "${truncate(pendingDelete().title, 40)}"? y confirm · n cancel` : "↑↓ move · enter open · ctrl+g project · option+w input · option+s pinned · option+p preview";
       })());
-      _$insert(_el$93, _$createComponent(Show, {
+      _$insert(_el$92, _$createComponent(Show, {
         get when() {
           return !pendingDelete();
         },
         get children() {
-          var _el$95 = _$createElement("text");
-          _$insertNode(_el$95, _$createTextNode(`ctrl+s/d pin · option+d delete · ctrl+f fork · esc close`));
-          _$effect(_$p => _$setProp(_el$95, "style", {
+          var _el$94 = _$createElement("text");
+          _$insertNode(_el$94, _$createTextNode(`ctrl+s/d pin · option+d delete · ctrl+f fork · esc close`));
+          _$effect(_$p => _$setProp(_el$94, "style", {
             fg: api.theme.current.textMuted
           }, _$p));
-          return _el$95;
+          return _el$94;
         }
       }), null);
-      _$insert(_el$72, _$createComponent(Show, {
+      _$insert(_el$71, _$createComponent(Show, {
         get when() {
           return showPreview();
         },
         get children() {
-          var _el$97 = _$createElement("box"),
-            _el$98 = _$createElement("box"),
+          var _el$96 = _$createElement("box"),
+            _el$97 = _$createElement("box"),
+            _el$98 = _$createElement("text"),
             _el$99 = _$createElement("text"),
-            _el$100 = _$createElement("text"),
-            _el$104 = _$createElement("scrollbox"),
-            _el$105 = _$createElement("text");
+            _el$103 = _$createElement("scrollbox"),
+            _el$104 = _$createElement("text");
+          _$insertNode(_el$96, _el$97);
+          _$insertNode(_el$96, _el$103);
+          _$insertNode(_el$96, _el$104);
+          _$setProp(_el$96, "position", "absolute");
+          _$setProp(_el$96, "left", 0);
+          _$setProp(_el$96, "top", 0);
+          _$setProp(_el$96, "width", dialogWidth);
+          _$setProp(_el$96, "flexDirection", "column");
+          _$setProp(_el$96, "paddingLeft", 4);
+          _$setProp(_el$96, "paddingRight", 4);
+          _$setProp(_el$96, "paddingTop", 1);
+          _$setProp(_el$96, "paddingBottom", 1);
+          _$setProp(_el$96, "gap", 1);
           _$insertNode(_el$97, _el$98);
-          _$insertNode(_el$97, _el$104);
-          _$insertNode(_el$97, _el$105);
-          _$setProp(_el$97, "position", "absolute");
-          _$setProp(_el$97, "left", 0);
-          _$setProp(_el$97, "top", 0);
-          _$setProp(_el$97, "width", dialogWidth);
-          _$setProp(_el$97, "flexDirection", "column");
-          _$setProp(_el$97, "paddingLeft", 4);
-          _$setProp(_el$97, "paddingRight", 4);
-          _$setProp(_el$97, "paddingTop", 1);
-          _$setProp(_el$97, "paddingBottom", 1);
-          _$setProp(_el$97, "gap", 1);
-          _$insertNode(_el$98, _el$99);
-          _$insertNode(_el$98, _el$100);
-          _$setProp(_el$98, "flexDirection", "row");
-          _$setProp(_el$98, "justifyContent", "space-between");
-          _$insert(_el$99, (() => {
+          _$insertNode(_el$97, _el$99);
+          _$setProp(_el$97, "flexDirection", "row");
+          _$setProp(_el$97, "justifyContent", "space-between");
+          _$insert(_el$98, (() => {
             var _c$9 = _$memo(() => !!previewID());
             return () => _c$9() ? truncate(selectableEntries()[cursor()].title, dialogWidth - 18) : "Preview";
           })());
-          _$insertNode(_el$100, _$createTextNode(`esc close`));
-          _$insert(_el$97, _$createComponent(Show, {
+          _$insertNode(_el$99, _$createTextNode(`esc close`));
+          _$insert(_el$96, _$createComponent(Show, {
             get when() {
               return previewID();
             },
             get children() {
-              var _el$102 = _$createElement("text"),
-                _el$103 = _$createTextNode(` · `);
-              _$insertNode(_el$102, _el$103);
-              _$insert(_el$102, () => prettyDir(selectableEntries()[cursor()].dir, process.env.HOME ?? ""), _el$103);
-              _$insert(_el$102, () => ago(selectableEntries()[cursor()].updated), null);
-              _$effect(_$p => _$setProp(_el$102, "style", {
+              var _el$101 = _$createElement("text"),
+                _el$102 = _$createTextNode(` · `);
+              _$insertNode(_el$101, _el$102);
+              _$insert(_el$101, () => prettyDir(selectableEntries()[cursor()].dir, process.env.HOME ?? ""), _el$102);
+              _$insert(_el$101, () => ago(selectableEntries()[cursor()].updated), null);
+              _$effect(_$p => _$setProp(_el$101, "style", {
                 fg: api.theme.current.textMuted
               }, _$p));
-              return _el$102;
+              return _el$101;
             }
-          }), _el$104);
-          _$setProp(_el$104, "flexGrow", 1);
-          _$setProp(_el$104, "scrollbarOptions", {
+          }), _el$103);
+          _$setProp(_el$103, "flexGrow", 1);
+          _$setProp(_el$103, "scrollbarOptions", {
             visible: false
           });
-          _$insert(_el$104, _$createComponent(Show, {
+          _$insert(_el$103, _$createComponent(Show, {
             get when() {
               return previewID();
             },
             get fallback() {
               return (() => {
-                var _el$121 = _$createElement("text");
-                _$insertNode(_el$121, _$createTextNode(`Select a session to preview`));
-                _$effect(_$p => _$setProp(_el$121, "style", {
+                var _el$120 = _$createElement("text");
+                _$insertNode(_el$120, _$createTextNode(`Select a session to preview`));
+                _$effect(_$p => _$setProp(_el$120, "style", {
                   fg: api.theme.current.textMuted
                 }, _$p));
-                return _el$121;
+                return _el$120;
               })();
             },
             get children() {
@@ -3533,55 +3613,55 @@ const tui = async api => {
                 },
                 get fallback() {
                   return (() => {
-                    var _el$123 = _$createElement("text");
-                    _$insertNode(_el$123, _$createTextNode(`Loading…`));
-                    _$effect(_$p => _$setProp(_el$123, "style", {
+                    var _el$122 = _$createElement("text");
+                    _$insertNode(_el$122, _$createTextNode(`Loading…`));
+                    _$effect(_$p => _$setProp(_el$122, "style", {
                       fg: api.theme.current.textMuted
                     }, _$p));
-                    return _el$123;
+                    return _el$122;
                   })();
                 },
                 children: text => getMarkdownStyle(api.theme.current, api.renderer?.nativeSession) ? (() => {
-                  var _el$125 = _$createElement("markdown");
+                  var _el$124 = _$createElement("markdown");
                   _$effect(_p$ => {
-                    var _v$65 = text(),
-                      _v$66 = getMarkdownStyle(api.theme.current, api.renderer?.nativeSession),
-                      _v$67 = getTreeSitterClient();
-                    _v$65 !== _p$.e && (_p$.e = _$setProp(_el$125, "content", _v$65, _p$.e));
-                    _v$66 !== _p$.t && (_p$.t = _$setProp(_el$125, "syntaxStyle", _v$66, _p$.t));
-                    _v$67 !== _p$.a && (_p$.a = _$setProp(_el$125, "treeSitterClient", _v$67, _p$.a));
+                    var _v$67 = text(),
+                      _v$68 = getMarkdownStyle(api.theme.current, api.renderer?.nativeSession),
+                      _v$69 = getTreeSitterClient();
+                    _v$67 !== _p$.e && (_p$.e = _$setProp(_el$124, "content", _v$67, _p$.e));
+                    _v$68 !== _p$.t && (_p$.t = _$setProp(_el$124, "syntaxStyle", _v$68, _p$.t));
+                    _v$69 !== _p$.a && (_p$.a = _$setProp(_el$124, "treeSitterClient", _v$69, _p$.a));
                     return _p$;
                   }, {
                     e: undefined,
                     t: undefined,
                     a: undefined
                   });
-                  return _el$125;
+                  return _el$124;
                 })() : (() => {
-                  var _el$126 = _$createElement("text");
-                  _$setProp(_el$126, "wrapMode", "word");
-                  _$insert(_el$126, text);
-                  return _el$126;
+                  var _el$125 = _$createElement("text");
+                  _$setProp(_el$125, "wrapMode", "word");
+                  _$insert(_el$125, text);
+                  return _el$125;
                 })()
               });
             }
           }));
-          _$insertNode(_el$105, _$createTextNode(`↑↓ switch session · esc back to picker`));
+          _$insertNode(_el$104, _$createTextNode(`↑↓ switch session · esc back to picker`));
           _$effect(_p$ => {
-            var _v$38 = dialogHeight(),
-              _v$39 = api.theme.current.backgroundPanel,
-              _v$40 = TextAttributes.BOLD,
-              _v$41 = {
+            var _v$40 = dialogHeight(),
+              _v$41 = api.theme.current.backgroundPanel,
+              _v$42 = TextAttributes.BOLD,
+              _v$43 = {
                 fg: api.theme.current.textMuted
               },
-              _v$42 = {
+              _v$44 = {
                 fg: api.theme.current.textMuted
               };
-            _v$38 !== _p$.e && (_p$.e = _$setProp(_el$97, "height", _v$38, _p$.e));
-            _v$39 !== _p$.t && (_p$.t = _$setProp(_el$97, "backgroundColor", _v$39, _p$.t));
-            _v$40 !== _p$.a && (_p$.a = _$setProp(_el$99, "attributes", _v$40, _p$.a));
-            _v$41 !== _p$.o && (_p$.o = _$setProp(_el$100, "style", _v$41, _p$.o));
-            _v$42 !== _p$.i && (_p$.i = _$setProp(_el$105, "style", _v$42, _p$.i));
+            _v$40 !== _p$.e && (_p$.e = _$setProp(_el$96, "height", _v$40, _p$.e));
+            _v$41 !== _p$.t && (_p$.t = _$setProp(_el$96, "backgroundColor", _v$41, _p$.t));
+            _v$42 !== _p$.a && (_p$.a = _$setProp(_el$98, "attributes", _v$42, _p$.a));
+            _v$43 !== _p$.o && (_p$.o = _$setProp(_el$99, "style", _v$43, _p$.o));
+            _v$44 !== _p$.i && (_p$.i = _$setProp(_el$104, "style", _v$44, _p$.i));
             return _p$;
           }, {
             e: undefined,
@@ -3590,52 +3670,52 @@ const tui = async api => {
             o: undefined,
             i: undefined
           });
-          return _el$97;
+          return _el$96;
         }
       }), null);
       _$effect(_p$ => {
-        var _v$43 = dialogHeight(),
-          _v$44 = dialogOffset(),
-          _v$45 = api.theme.current.backgroundPanel,
-          _v$46 = TextAttributes.BOLD,
-          _v$47 = {
+        var _v$45 = dialogHeight(),
+          _v$46 = dialogOffset(),
+          _v$47 = api.theme.current.backgroundPanel,
+          _v$48 = TextAttributes.BOLD,
+          _v$49 = {
             fg: api.theme.current.textMuted
           },
-          _v$48 = {
+          _v$50 = {
             fg: api.theme.current.textMuted
           },
-          _v$49 = query(),
-          _v$50 = api.theme.current.textMuted,
-          _v$51 = api.theme.current.backgroundPanel,
-          _v$52 = api.theme.current.text,
-          _v$53 = api.theme.current.primary,
-          _v$54 = {
+          _v$51 = query(),
+          _v$52 = api.theme.current.textMuted,
+          _v$53 = api.theme.current.backgroundPanel,
+          _v$54 = api.theme.current.text,
+          _v$55 = api.theme.current.primary,
+          _v$56 = {
             fg: scope() ? api.theme.current.accent : api.theme.current.textMuted
           },
-          _v$55 = {
+          _v$57 = {
             fg: waitingOnly() ? api.theme.current.warning : api.theme.current.textMuted
           },
-          _v$56 = {
+          _v$58 = {
             fg: pinnedOnly() ? api.theme.current.accent : api.theme.current.textMuted
           },
-          _v$57 = {
+          _v$59 = {
             fg: pendingDelete() ? api.theme.current.warning : api.theme.current.textMuted
           };
-        _v$43 !== _p$.e && (_p$.e = _$setProp(_el$72, "height", _v$43, _p$.e));
-        _v$44 !== _p$.t && (_p$.t = _$setProp(_el$72, "marginTop", _v$44, _p$.t));
-        _v$45 !== _p$.a && (_p$.a = _$setProp(_el$72, "backgroundColor", _v$45, _p$.a));
-        _v$46 !== _p$.o && (_p$.o = _$setProp(_el$75, "attributes", _v$46, _p$.o));
-        _v$47 !== _p$.i && (_p$.i = _$setProp(_el$77, "style", _v$47, _p$.i));
-        _v$48 !== _p$.n && (_p$.n = _$setProp(_el$80, "style", _v$48, _p$.n));
-        _v$49 !== _p$.s && (_p$.s = _$setProp(_el$83, "value", _v$49, _p$.s));
-        _v$50 !== _p$.h && (_p$.h = _$setProp(_el$83, "placeholderColor", _v$50, _p$.h));
-        _v$51 !== _p$.r && (_p$.r = _$setProp(_el$83, "focusedBackgroundColor", _v$51, _p$.r));
-        _v$52 !== _p$.d && (_p$.d = _$setProp(_el$83, "focusedTextColor", _v$52, _p$.d));
-        _v$53 !== _p$.l && (_p$.l = _$setProp(_el$83, "cursorColor", _v$53, _p$.l));
-        _v$54 !== _p$.u && (_p$.u = _$setProp(_el$87, "style", _v$54, _p$.u));
-        _v$55 !== _p$.c && (_p$.c = _$setProp(_el$88, "style", _v$55, _p$.c));
-        _v$56 !== _p$.w && (_p$.w = _$setProp(_el$89, "style", _v$56, _p$.w));
-        _v$57 !== _p$.m && (_p$.m = _$setProp(_el$94, "style", _v$57, _p$.m));
+        _v$45 !== _p$.e && (_p$.e = _$setProp(_el$71, "height", _v$45, _p$.e));
+        _v$46 !== _p$.t && (_p$.t = _$setProp(_el$71, "marginTop", _v$46, _p$.t));
+        _v$47 !== _p$.a && (_p$.a = _$setProp(_el$71, "backgroundColor", _v$47, _p$.a));
+        _v$48 !== _p$.o && (_p$.o = _$setProp(_el$74, "attributes", _v$48, _p$.o));
+        _v$49 !== _p$.i && (_p$.i = _$setProp(_el$76, "style", _v$49, _p$.i));
+        _v$50 !== _p$.n && (_p$.n = _$setProp(_el$79, "style", _v$50, _p$.n));
+        _v$51 !== _p$.s && (_p$.s = _$setProp(_el$82, "value", _v$51, _p$.s));
+        _v$52 !== _p$.h && (_p$.h = _$setProp(_el$82, "placeholderColor", _v$52, _p$.h));
+        _v$53 !== _p$.r && (_p$.r = _$setProp(_el$82, "focusedBackgroundColor", _v$53, _p$.r));
+        _v$54 !== _p$.d && (_p$.d = _$setProp(_el$82, "focusedTextColor", _v$54, _p$.d));
+        _v$55 !== _p$.l && (_p$.l = _$setProp(_el$82, "cursorColor", _v$55, _p$.l));
+        _v$56 !== _p$.u && (_p$.u = _$setProp(_el$86, "style", _v$56, _p$.u));
+        _v$57 !== _p$.c && (_p$.c = _$setProp(_el$87, "style", _v$57, _p$.c));
+        _v$58 !== _p$.w && (_p$.w = _$setProp(_el$88, "style", _v$58, _p$.w));
+        _v$59 !== _p$.m && (_p$.m = _$setProp(_el$93, "style", _v$59, _p$.m));
         return _p$;
       }, {
         e: undefined,
@@ -3654,7 +3734,7 @@ const tui = async api => {
         w: undefined,
         m: undefined
       });
-      return _el$72;
+      return _el$71;
     })(), () => {
       cleanup();
     });
@@ -3700,105 +3780,105 @@ const tui = async api => {
       }]
     });
     api.ui.dialog.replace(() => (() => {
-      var _el$127 = _$createElement("box"),
-        _el$128 = _$createElement("text"),
-        _el$129 = _$createTextNode(`Cost digest `),
-        _el$131 = _$createElement("span"),
-        _el$133 = _$createElement("box"),
-        _el$134 = _$createElement("text");
+      var _el$126 = _$createElement("box"),
+        _el$127 = _$createElement("text"),
+        _el$128 = _$createTextNode(`Cost digest `),
+        _el$130 = _$createElement("span"),
+        _el$132 = _$createElement("box"),
+        _el$133 = _$createElement("text");
+      _$insertNode(_el$126, _el$127);
+      _$insertNode(_el$126, _el$132);
+      _$setProp(_el$126, "flexDirection", "column");
+      _$setProp(_el$126, "paddingLeft", 4);
+      _$setProp(_el$126, "paddingRight", 4);
+      _$setProp(_el$126, "paddingTop", 1);
+      _$setProp(_el$126, "gap", 1);
       _$insertNode(_el$127, _el$128);
-      _$insertNode(_el$127, _el$133);
-      _$setProp(_el$127, "flexDirection", "column");
-      _$setProp(_el$127, "paddingLeft", 4);
-      _$setProp(_el$127, "paddingRight", 4);
-      _$setProp(_el$127, "paddingTop", 1);
-      _$setProp(_el$127, "gap", 1);
-      _$insertNode(_el$128, _el$129);
-      _$insertNode(_el$128, _el$131);
-      _$insertNode(_el$131, _$createTextNode(`(24h · lifetime)`));
-      _$insert(_el$127, _$createComponent(Show, {
+      _$insertNode(_el$127, _el$130);
+      _$insertNode(_el$130, _$createTextNode(`(24h · lifetime)`));
+      _$insert(_el$126, _$createComponent(Show, {
         get when() {
           return !failed && rows.length > 0;
         },
         get fallback() {
           return (() => {
-            var _el$136 = _$createElement("text");
-            _$insert(_el$136, failed ? "Cost data unavailable." : "No assistant cost recorded.");
-            _$effect(_$p => _$setProp(_el$136, "style", {
+            var _el$135 = _$createElement("text");
+            _$insert(_el$135, failed ? "Cost data unavailable." : "No assistant cost recorded.");
+            _$effect(_$p => _$setProp(_el$135, "style", {
               fg: api.theme.current.textMuted
             }, _$p));
-            return _el$136;
+            return _el$135;
           })();
         },
         get children() {
           return _$createComponent(For, {
             each: rows,
             children: row => (() => {
-              var _el$137 = _$createElement("box"),
+              var _el$136 = _$createElement("box"),
+                _el$137 = _$createElement("text"),
                 _el$138 = _$createElement("text"),
                 _el$139 = _$createElement("text"),
-                _el$140 = _$createElement("text"),
-                _el$141 = _$createTextNode(`(`),
-                _el$142 = _$createTextNode(`)`),
-                _el$143 = _$createElement("text");
-              _$insertNode(_el$137, _el$138);
-              _$insertNode(_el$137, _el$139);
-              _$insertNode(_el$137, _el$140);
-              _$insertNode(_el$137, _el$143);
-              _$setProp(_el$137, "flexDirection", "row");
-              _$setProp(_el$137, "gap", 2);
+                _el$140 = _$createTextNode(`(`),
+                _el$141 = _$createTextNode(`)`),
+                _el$142 = _$createElement("text");
+              _$insertNode(_el$136, _el$137);
+              _$insertNode(_el$136, _el$138);
+              _$insertNode(_el$136, _el$139);
+              _$insertNode(_el$136, _el$142);
+              _$setProp(_el$136, "flexDirection", "row");
+              _$setProp(_el$136, "gap", 2);
+              _$setProp(_el$137, "flexShrink", 0);
+              _$insert(_el$137, () => money(row.window));
               _$setProp(_el$138, "flexShrink", 0);
-              _$insert(_el$138, () => money(row.window));
+              _$insert(_el$138, () => money(row.lifetime));
+              _$insertNode(_el$139, _el$140);
+              _$insertNode(_el$139, _el$141);
               _$setProp(_el$139, "flexShrink", 0);
-              _$insert(_el$139, () => money(row.lifetime));
-              _$insertNode(_el$140, _el$141);
-              _$insertNode(_el$140, _el$142);
-              _$setProp(_el$140, "flexShrink", 0);
-              _$insert(_el$140, () => row.sessions, _el$142);
-              _$setProp(_el$143, "flexGrow", 1);
-              _$setProp(_el$143, "flexShrink", 1);
-              _$setProp(_el$143, "wrapMode", "none");
-              _$insert(_el$143, () => prettyDir(row.directory, home));
+              _$insert(_el$139, () => row.sessions, _el$141);
+              _$setProp(_el$142, "flexGrow", 1);
+              _$setProp(_el$142, "flexShrink", 1);
+              _$setProp(_el$142, "wrapMode", "none");
+              _$insert(_el$142, () => prettyDir(row.directory, home));
               _$effect(_p$ => {
-                var _v$72 = {
+                var _v$74 = {
                     fg: api.theme.current.success
                   },
-                  _v$73 = {
+                  _v$75 = {
                     fg: api.theme.current.textMuted
                   },
-                  _v$74 = {
+                  _v$76 = {
                     fg: api.theme.current.textMuted
                   };
-                _v$72 !== _p$.e && (_p$.e = _$setProp(_el$138, "style", _v$72, _p$.e));
-                _v$73 !== _p$.t && (_p$.t = _$setProp(_el$139, "style", _v$73, _p$.t));
-                _v$74 !== _p$.a && (_p$.a = _$setProp(_el$140, "style", _v$74, _p$.a));
+                _v$74 !== _p$.e && (_p$.e = _$setProp(_el$137, "style", _v$74, _p$.e));
+                _v$75 !== _p$.t && (_p$.t = _$setProp(_el$138, "style", _v$75, _p$.t));
+                _v$76 !== _p$.a && (_p$.a = _$setProp(_el$139, "style", _v$76, _p$.a));
                 return _p$;
               }, {
                 e: undefined,
                 t: undefined,
                 a: undefined
               });
-              return _el$137;
+              return _el$136;
             })()
           });
         }
-      }), _el$133);
-      _$insertNode(_el$133, _el$134);
-      _$setProp(_el$133, "flexShrink", 0);
-      _$insertNode(_el$134, _$createTextNode(`esc close`));
+      }), _el$132);
+      _$insertNode(_el$132, _el$133);
+      _$setProp(_el$132, "flexShrink", 0);
+      _$insertNode(_el$133, _$createTextNode(`esc close`));
       _$effect(_p$ => {
-        var _v$68 = api.theme.current.backgroundPanel,
-          _v$69 = TextAttributes.BOLD,
-          _v$70 = {
+        var _v$70 = api.theme.current.backgroundPanel,
+          _v$71 = TextAttributes.BOLD,
+          _v$72 = {
             fg: api.theme.current.textMuted
           },
-          _v$71 = {
+          _v$73 = {
             fg: api.theme.current.textMuted
           };
-        _v$68 !== _p$.e && (_p$.e = _$setProp(_el$127, "backgroundColor", _v$68, _p$.e));
-        _v$69 !== _p$.t && (_p$.t = _$setProp(_el$128, "attributes", _v$69, _p$.t));
-        _v$70 !== _p$.a && (_p$.a = _$setProp(_el$131, "style", _v$70, _p$.a));
-        _v$71 !== _p$.o && (_p$.o = _$setProp(_el$134, "style", _v$71, _p$.o));
+        _v$70 !== _p$.e && (_p$.e = _$setProp(_el$126, "backgroundColor", _v$70, _p$.e));
+        _v$71 !== _p$.t && (_p$.t = _$setProp(_el$127, "attributes", _v$71, _p$.t));
+        _v$72 !== _p$.a && (_p$.a = _$setProp(_el$130, "style", _v$72, _p$.a));
+        _v$73 !== _p$.o && (_p$.o = _$setProp(_el$133, "style", _v$73, _p$.o));
         return _p$;
       }, {
         e: undefined,
@@ -3806,7 +3886,7 @@ const tui = async api => {
         a: undefined,
         o: undefined
       });
-      return _el$127;
+      return _el$126;
     })(), () => {
       disposeKeys();
     });
@@ -3915,79 +3995,79 @@ const tui = async api => {
     });
     const home = process.env.HOME ?? "";
     api.ui.dialog.replace(() => (() => {
-      var _el$144 = _$createElement("box"),
-        _el$145 = _$createElement("text"),
-        _el$146 = _$createTextNode(`Needs input `),
-        _el$148 = _$createElement("span"),
-        _el$149 = _$createTextNode(`(`),
-        _el$150 = _$createTextNode(` · longest waiting first)`),
-        _el$151 = _$createElement("scrollbox"),
-        _el$152 = _$createElement("box"),
-        _el$153 = _$createElement("text");
+      var _el$143 = _$createElement("box"),
+        _el$144 = _$createElement("text"),
+        _el$145 = _$createTextNode(`Needs input `),
+        _el$147 = _$createElement("span"),
+        _el$148 = _$createTextNode(`(`),
+        _el$149 = _$createTextNode(` · longest waiting first)`),
+        _el$150 = _$createElement("scrollbox"),
+        _el$151 = _$createElement("box"),
+        _el$152 = _$createElement("text");
+      _$insertNode(_el$143, _el$144);
+      _$insertNode(_el$143, _el$150);
+      _$insertNode(_el$143, _el$151);
+      _$setProp(_el$143, "flexDirection", "column");
+      _$setProp(_el$143, "paddingLeft", 4);
+      _$setProp(_el$143, "paddingRight", 4);
+      _$setProp(_el$143, "paddingTop", 1);
+      _$setProp(_el$143, "gap", 1);
       _$insertNode(_el$144, _el$145);
-      _$insertNode(_el$144, _el$151);
-      _$insertNode(_el$144, _el$152);
-      _$setProp(_el$144, "flexDirection", "column");
-      _$setProp(_el$144, "paddingLeft", 4);
-      _$setProp(_el$144, "paddingRight", 4);
-      _$setProp(_el$144, "paddingTop", 1);
-      _$setProp(_el$144, "gap", 1);
-      _$insertNode(_el$145, _el$146);
-      _$insertNode(_el$145, _el$148);
-      _$insertNode(_el$148, _el$149);
-      _$insertNode(_el$148, _el$150);
-      _$insert(_el$148, () => items.length, _el$150);
-      _$setProp(_el$151, "flexGrow", 1);
-      _$setProp(_el$151, "scrollbarOptions", {
+      _$insertNode(_el$144, _el$147);
+      _$insertNode(_el$147, _el$148);
+      _$insertNode(_el$147, _el$149);
+      _$insert(_el$147, () => items.length, _el$149);
+      _$setProp(_el$150, "flexGrow", 1);
+      _$setProp(_el$150, "scrollbarOptions", {
         visible: false
       });
-      _$insert(_el$151, _$createComponent(For, {
+      _$insert(_el$150, _$createComponent(For, {
         each: items,
         children: (item, index) => (() => {
-          var _el$155 = _$createElement("box"),
+          var _el$154 = _$createElement("box"),
+            _el$155 = _$createElement("text"),
             _el$156 = _$createElement("text"),
             _el$157 = _$createElement("text"),
-            _el$158 = _$createElement("text"),
-            _el$159 = _$createTextNode(` · `);
-          _$insertNode(_el$155, _el$156);
-          _$insertNode(_el$155, _el$157);
-          _$insertNode(_el$155, _el$158);
-          _$setProp(_el$155, "flexDirection", "row");
-          _$setProp(_el$155, "gap", 2);
-          _$setProp(_el$155, "paddingLeft", 1);
-          _$setProp(_el$155, "paddingRight", 1);
-          _$setProp(_el$155, "onMouseDown", () => {
+            _el$158 = _$createTextNode(` · `);
+          _$insertNode(_el$154, _el$155);
+          _$insertNode(_el$154, _el$156);
+          _$insertNode(_el$154, _el$157);
+          _$setProp(_el$154, "flexDirection", "row");
+          _$setProp(_el$154, "gap", 2);
+          _$setProp(_el$154, "paddingLeft", 1);
+          _$setProp(_el$154, "paddingRight", 1);
+          _$setProp(_el$154, "onMouseDown", () => {
             setCursor(index());
             choose(item);
           });
-          _$setProp(_el$156, "flexGrow", 1);
-          _$setProp(_el$156, "flexShrink", 1);
-          _$setProp(_el$156, "wrapMode", "none");
-          _$insert(_el$156, () => truncate(item.entry.title, 48));
+          _$setProp(_el$155, "flexGrow", 1);
+          _$setProp(_el$155, "flexShrink", 1);
+          _$setProp(_el$155, "wrapMode", "none");
+          _$insert(_el$155, () => truncate(item.entry.title, 48));
+          _$setProp(_el$156, "flexShrink", 0);
+          _$insert(_el$156, () => item.reason);
+          _$insertNode(_el$157, _el$158);
           _$setProp(_el$157, "flexShrink", 0);
-          _$insert(_el$157, () => item.reason);
-          _$insertNode(_el$158, _el$159);
-          _$setProp(_el$158, "flexShrink", 0);
-          _$insert(_el$158, () => prettyDir(item.entry.dir, home), _el$159);
-          _$insert(_el$158, (() => {
+          _$insert(_el$157, () => prettyDir(item.entry.dir, home), _el$158);
+          _$insert(_el$157, (() => {
             var _c$1 = _$memo(() => item.since === undefined);
             return () => _c$1() ? "time unknown" : `waiting ${ago(item.since)}`;
           })(), null);
           _$effect(_p$ => {
-            var _v$80 = index() === cursor() ? api.theme.current.backgroundElement : RGBA.fromInts(0, 0, 0, 0),
-              _v$81 = {
+            var _v$82 = index() === cursor() ? api.theme.current.backgroundElement : RGBA.fromInts(0, 0, 0, 0),
+              _v$83 = {
                 fg: index() === cursor() ? api.theme.current.text : api.theme.current.text
               },
-              _v$82 = {
+              _v$84 = {
                 fg: index() === cursor() ? api.theme.current.text : api.theme.current.warning
               },
-              _v$83 = {
+              _v$85 = {
                 fg: index() === cursor() ? api.theme.current.text : api.theme.current.textMuted
               };
-            _v$80 !== _p$.e && (_p$.e = _$setProp(_el$155, "backgroundColor", _v$80, _p$.e));
-            _v$81 !== _p$.t && (_p$.t = _$setProp(_el$156, "style", _v$81, _p$.t));
-            _v$82 !== _p$.a && (_p$.a = _$setProp(_el$157, "style", _v$82, _p$.a));
-            _v$83 !== _p$.o && (_p$.o = _$setProp(_el$158, "style", _v$83, _p$.o));
+            _v$82 !== _p$.e && (_p$.e = _$setProp(_el$154, "backgroundColor", _v$82, _p$.e));
+            _v$83 !== _p$.t && (_p$.t = _$setProp(_el$155, "style", _v$83, _p$.t));
+            _v$84 !== _p$.a && (_p$.a = _$setProp(_el$156, "style", _v$84, _p$.a));
+            _v$85 !== _p$.o && (_p$.o = _$setProp(_el$157, "style", _v$85, _p$.o));
             return _p$;
           }, {
             e: undefined,
@@ -3995,27 +4075,27 @@ const tui = async api => {
             a: undefined,
             o: undefined
           });
-          return _el$155;
+          return _el$154;
         })()
       }));
-      _$insertNode(_el$152, _el$153);
-      _$setProp(_el$152, "flexShrink", 0);
-      _$insertNode(_el$153, _$createTextNode(`↑↓ navigate · enter open · n open next waiting · esc close`));
+      _$insertNode(_el$151, _el$152);
+      _$setProp(_el$151, "flexShrink", 0);
+      _$insertNode(_el$152, _$createTextNode(`↑↓ navigate · enter open · n open next waiting · esc close`));
       _$effect(_p$ => {
-        var _v$75 = api.theme.current.backgroundPanel,
-          _v$76 = TextAttributes.BOLD,
-          _v$77 = {
+        var _v$77 = api.theme.current.backgroundPanel,
+          _v$78 = TextAttributes.BOLD,
+          _v$79 = {
             fg: api.theme.current.textMuted
           },
-          _v$78 = Math.max(6, Math.floor(api.renderer.height / 2) - 10),
-          _v$79 = {
+          _v$80 = Math.max(6, Math.floor(api.renderer.height / 2) - 10),
+          _v$81 = {
             fg: api.theme.current.textMuted
           };
-        _v$75 !== _p$.e && (_p$.e = _$setProp(_el$144, "backgroundColor", _v$75, _p$.e));
-        _v$76 !== _p$.t && (_p$.t = _$setProp(_el$145, "attributes", _v$76, _p$.t));
-        _v$77 !== _p$.a && (_p$.a = _$setProp(_el$148, "style", _v$77, _p$.a));
-        _v$78 !== _p$.o && (_p$.o = _$setProp(_el$151, "height", _v$78, _p$.o));
-        _v$79 !== _p$.i && (_p$.i = _$setProp(_el$153, "style", _v$79, _p$.i));
+        _v$77 !== _p$.e && (_p$.e = _$setProp(_el$143, "backgroundColor", _v$77, _p$.e));
+        _v$78 !== _p$.t && (_p$.t = _$setProp(_el$144, "attributes", _v$78, _p$.t));
+        _v$79 !== _p$.a && (_p$.a = _$setProp(_el$147, "style", _v$79, _p$.a));
+        _v$80 !== _p$.o && (_p$.o = _$setProp(_el$150, "height", _v$80, _p$.o));
+        _v$81 !== _p$.i && (_p$.i = _$setProp(_el$152, "style", _v$81, _p$.i));
         return _p$;
       }, {
         e: undefined,
@@ -4024,7 +4104,7 @@ const tui = async api => {
         o: undefined,
         i: undefined
       });
-      return _el$144;
+      return _el$143;
     })(), () => {
       disposeNav();
     });