@monster-orange/den 0.4.10 → 0.4.12

package/src/ui/server/public/agents-section.js

@@ -138,7 +138,7 @@ function rowHtml(r) {
     ? ` <span class="tbl-muted">· ${esc(r.model)}</span>`
     : "";
   return `<tr class="agent" data-agent="${esc(r.agent)}" data-state="${esc(r.state)}">
-              <th scope="row"><span class="repo-name">${esc(r.agent)}</span>${persona}</th>
+              <th scope="row">${r.displayName ? `<span class="repo-name">${esc(r.displayName)}</span> <span class="tbl-muted">${esc(r.agent)}</span>` : `<span class="repo-name">${esc(r.agent)}</span>`}${persona}</th>
               <td class="tbl-mono">${esc(r.runtime ?? "—")}${model}</td>
               <td>${stateCell(r.state)}</td>
               <td class="tbl-mono tbl-muted agent-cwd" title="${esc(r.cwd ?? "")}">${esc(r.cwd ?? "—")}</td>

package/src/ui/server/public/agents.html

@@ -50,13 +50,26 @@
         flex-direction: column;
         overflow: hidden;
       }
+      /* AG-4b: the main area is a column that fills the window between
+         the top bar and the runs dock (the body is the viewport's height,
+         the shell's column puts the dock at its foot); the list and the
+         panes take what is left, 14px above the dock. No 100vh guess. */
+      html body.den-has-shell {
+        height: 100%;
+        min-height: 0;
+      }
       html body.den-has-shell > #den-content {
         overflow: auto;
         min-width: 0;
-        padding: 20px 24px 32px 24px;
+        min-height: 0;
+        padding: 20px 24px 14px 24px;
         font: 14px/1.45 var(--sans);
         color: var(--text);
-        display: block;
+        display: flex;
+        flex-direction: column;
+      }
+      #den-content > .ph {
+        flex: none;
       }
       #den-content :focus-visible {
         outline: 2px solid var(--accent);
@@ -94,9 +107,38 @@
       .agx {
         display: grid;
         grid-template-columns: 300px minmax(0, 1fr);
+        grid-template-rows: minmax(0, 1fr);
         gap: 14px;
-        min-height: 420px;
-        height: calc(100vh - 300px);
+        flex: 1;
+        min-height: 0;
+      }
+      /* The layout switch (AG-4b), the prototype's .seg. */
+      .seg {
+        display: inline-flex;
+        border: 1px solid var(--border);
+        border-radius: var(--radius-button);
+        overflow: hidden;
+        flex-wrap: wrap;
+      }
+      .seg button {
+        background: none;
+        border: 0;
+        padding: 6px 12px;
+        cursor: pointer;
+        color: var(--muted);
+        font: inherit;
+      }
+      .seg button[aria-pressed="true"] {
+        background: color-mix(in srgb, var(--accent) 16%, transparent);
+        color: var(--text);
+        font-weight: 500;
+      }
+      .agl .aghint {
+        padding: 10px 12px;
+        font-size: 12px;
+        color: var(--faint);
+        border-top: 1px solid var(--border);
+        margin-top: 6px;
       }
       .agl {
         border: 1px solid var(--border);
@@ -245,6 +287,98 @@
         grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
         grid-auto-rows: minmax(0, 1fr);
       }
+      .agp.tabs {
+        grid-template-columns: minmax(0, 1fr);
+        grid-template-rows: auto minmax(0, 1fr);
+        gap: 0;
+      }
+      .agp > .pane[hidden] {
+        display: none;
+      }
+      .agp.tabs > .pane {
+        border-top-left-radius: 0;
+      }
+      /* The tab strip (the prototype's .agtabs): name, persona · workspace. */
+      .agtabs {
+        display: flex;
+        gap: 2px;
+        border-bottom: 1px solid var(--border);
+        overflow-x: auto;
+        min-width: 0;
+      }
+      .agtab-w {
+        position: relative;
+        display: inline-flex;
+        flex: none;
+        max-width: 280px;
+      }
+      .agtab {
+        display: inline-flex;
+        align-items: center;
+        gap: 6px;
+        min-width: 0;
+        border: 1px solid transparent;
+        border-bottom: 0;
+        background: none;
+        padding: 6px 28px 6px 10px;
+        border-radius: var(--radius-button) var(--radius-button) 0 0;
+        cursor: pointer;
+        color: var(--muted);
+        white-space: nowrap;
+        font: 13px var(--sans);
+      }
+      .agtab[hidden] {
+        display: none;
+      }
+      .agtab[aria-selected="true"] {
+        background: var(--surface);
+        border-color: var(--border);
+        color: var(--text);
+        margin-bottom: -1px;
+      }
+      .agtab .den-dot {
+        margin: 0;
+      }
+      .agtab .tn {
+        overflow: hidden;
+        text-overflow: ellipsis;
+      }
+      .agtab .tm {
+        color: var(--faint);
+        font-size: 11px;
+        overflow: hidden;
+        text-overflow: ellipsis;
+      }
+      .agtab-x {
+        position: absolute;
+        top: 0;
+        bottom: 0;
+        right: 4px;
+        display: flex;
+        align-items: center;
+        padding: 0 4px;
+        border: 0;
+        background: none;
+        cursor: pointer;
+        font: 13px var(--sans);
+        color: var(--faint);
+      }
+      .agtab-x:hover {
+        color: var(--bad);
+      }
+      .agtab-in {
+        font: 13px var(--sans);
+        width: 200px;
+        margin: 3px 28px 3px 6px;
+        padding: 2px 6px;
+        border: 1px solid var(--accent);
+        border-radius: var(--radius-button);
+        background: var(--bg);
+        color: var(--text);
+      }
+      .den-sr[hidden] {
+        display: none;
+      }
       .pane {
         display: grid;
         grid-template-rows: auto minmax(0, 1fr);
@@ -292,6 +426,9 @@
         gap: 6px;
         flex: none;
       }
+      .pane .bar2 .x [hidden] {
+        display: none;
+      }
       /* The body: mono 12px/1.5 (xterm draws inside it). */
       .pane .term {
         min-height: 0;
@@ -301,6 +438,15 @@
         color: var(--text);
         overflow: hidden;
       }
+      .pane .term {
+        display: grid;
+        grid-template: minmax(0, 1fr) / minmax(0, 1fr);
+      }
+      .pane .term .tbox {
+        min-height: 0;
+        min-width: 0;
+        overflow: hidden;
+      }
       .pane .term .xterm {
         height: 100%;
       }
@@ -430,7 +576,8 @@
       @media (max-width: 860px) {
         .agx {
           grid-template-columns: minmax(0, 1fr);
-          height: auto;
+          grid-template-rows: none;
+          flex: none;
         }
         .ph .act {
           flex-wrap: wrap;
@@ -465,6 +612,32 @@
           </div>
         </div>
         <div class="act">
+          <div class="seg" role="group" aria-label="Layout" data-layouts>
+            <button
+              type="button"
+              data-layout="focus"
+              aria-pressed="true"
+              aria-keyshortcuts="Control+Shift+1"
+            >
+              Focus
+            </button>
+            <button
+              type="button"
+              data-layout="tabs"
+              aria-pressed="false"
+              aria-keyshortcuts="Control+Shift+2"
+            >
+              Tabs
+            </button>
+            <button
+              type="button"
+              data-layout="tile"
+              aria-pressed="false"
+              aria-keyshortcuts="Control+Shift+3"
+            >
+              Tile
+            </button>
+          </div>
           <button type="button" class="den-btn" id="ag-clear" hidden>
             Clear stopped
           </button>

package/src/ui/server/public/header.js

@@ -792,10 +792,11 @@ export function groupReposByApplication(repos, apps) {
 
 /**
  * Feed the shell's Workspace part (shell.js #ws-pill, a menu): "All active"
- * and each active workspace, the focused one marked. Choosing one sets the
- * view scope (POST /api/scope, a preference) for every page. It replaces
- * dev.17's workspace pill and its focus menu (one control, not two): the
- * focus moves only through the menu's separate "Set <ws> as focus".
+ * and each active workspace, the focused one marked. Choosing a workspace
+ * makes it the CLI default (POST /api/workspaces `focus`, workspaces.yml)
+ * and sets the view (POST /api/scope, a preference) for every page: one
+ * "current workspace" (Ward's decision, 0.4.11). "All active" sets only the
+ * view; the CLI default stays.
  *
  * The arguments are dev.17's (an env select, an onSwitch callback) and are
  * no longer used: the view applies to every env.
@@ -822,7 +823,6 @@ async function _renderScopeMenu() {
     sh.setWorkspaces({
       ...buildScopeMenuModel(pageScope(scope, data), data, t),
       onSelect: _switchScope,
-      onFocus: _setFocus,
     });
   } catch {
     sh.setWorkspaces(null);
@@ -852,25 +852,36 @@ function pageScope(scope, data) {
 }
 
 /**
- * On the Graph page a choice replaces ?ws= (All active drops it, a
- * workspace sets it), so the reload shows the choice rather than the old
- * ?ws=, which would win over it. The history entry is replaced, not
- * pushed: Back does not return to a view the picker has left.
+ * A choice replaces ?ws= (All active drops it, a workspace sets it) on the
+ * Graph and Agents pages, and on any page whose URL names a workspace
+ * (Workspaces' detail pane), so the reload shows the choice rather than
+ * the old ?ws=. The history entry is replaced, not pushed: Back does not
+ * return to a view the picker has left.
  */
 function followScopeInUrl(value) {
-  if (!WS_URL_PAGES.has(location.pathname)) return;
   const u = new URL(location.href);
+  if (!WS_URL_PAGES.has(location.pathname) && !u.searchParams.has("ws")) return;
   if (value === "all") u.searchParams.delete("ws");
   else u.searchParams.set("ws", value);
   history.replaceState(history.state, "", u.pathname + u.search + u.hash);
 }
 
 /**
- * A view filter only: POST /api/scope stores the preference (user.yml
- * `view`), then the page reloads to show the new view whole. No service,
- * container, daemon or route changes, and the focus stays where it is.
+ * A workspace: first the CLI default (workspaces.yml), then the view. When
+ * the CLI default can't be set, nothing changes and the error shows. "All
+ * active": the view only. POST /api/scope stores the view (user.yml
+ * `view`), then the page reloads to show it whole. The workspace already
+ * in view (`inView`): the CLI default only, the view untouched. No
+ * service, container, daemon or route changes.
  */
-async function _switchScope(value) {
+async function _switchScope(value, focus, inView) {
+  if (value !== "all" && value !== focus && !(await _setFocus(value))) return;
+  if (inView) {
+    // A ?ws= page shows the pick after the reload, not its old ?ws=.
+    followScopeInUrl(value);
+    location.reload();
+    return;
+  }
   try {
     await window.denShell.api("POST", "/api/scope", { scope: value });
   } catch (err) {
@@ -885,9 +896,9 @@ async function _switchScope(value) {
 }
 
 /**
- * "Set <ws> as focus": Local Dev's focus action (POST /api/workspaces
- * `focus`, which writes workspaces.yml and retargets the CLI). Separate
- * from the view: it is the only thing in the menu that moves the focus.
+ * Make `name` the CLI default: Local Dev's focus action (POST
+ * /api/workspaces `focus`, which writes workspaces.yml and retargets the
+ * CLI). False, with the error shown, when it couldn't.
  */
 async function _setFocus(name) {
   try {
@@ -900,9 +911,9 @@ async function _setFocus(name) {
       err.message = t("ws.focusFailed", { msg: err.message });
       window.denShell.errorToast(err);
     } else window.denShell?.toast?.(t("ws.focusFailed", { msg: err.message }));
-    return;
+    return false;
   }
-  location.reload();
+  return true;
 }
 
 // ── Health: the status chip and drawer (topbar.js, R6 and R15) ─────────────

package/src/ui/server/public/i18n/es.js

@@ -29,7 +29,9 @@
     "ws.all": "Todos los activos",
     "ws.focus": "predeterminado de la CLI",
     "ws.focusTip":
-      "Los comandos de la CLI se ejecutan aquí si no indicas un espacio de trabajo. Elegir un espacio en la barra superior solo cambia lo que muestran las páginas.",
+      "Los comandos de la CLI se ejecutan aquí si no indicas un espacio de trabajo. Elegir un espacio en la barra superior también lo convierte en el predeterminado de la CLI.",
+    "ws.pickTip":
+      "Elegir un espacio de trabajo aquí también lo convierte en el predeterminado de la CLI, así que los comandos de __DEN_CLI__ se ejecutan allí.",
     "ws.none": "No hay espacios de trabajo activos",
     "ws.manage": "Gestionar espacios de trabajo…",
     "ws.allN": "Todos los activos ({n})",
@@ -39,10 +41,7 @@
     "ws.viewTitle":
       "Vista: lo que muestra cada página ({ws}). Es solo un filtro: no inicia, detiene ni enruta nada.",
     "ws.viewTitleFocus":
-      "Vista: lo que muestra cada página ({ws}). Es solo un filtro: no inicia, detiene ni enruta nada, y el predeterminado de la CLI ({focus}) sigue siendo el destino de los comandos.",
-    "ws.setFocus": "Hacer de {ws} el predeterminado de la CLI",
-    "ws.setFocusTip":
-      "Lo convierte en el destino por defecto de los comandos (escribe workspaces.yml)",
+      "Vista: lo que muestra cada página ({ws}). No inicia, detiene ni enruta nada. Predeterminado de la CLI: {focus}.",
     "ws.viewFailed": "No se pudo cambiar la vista: {msg}",
     "ws.focusFailed": "No se pudo poner el foco: {msg}",
     "org.n": "{n} espacios de trabajo",
@@ -328,6 +327,7 @@
     "set.language": "Idioma",
     "set.appearance.org-theme": "Tema predeterminado de la org",
     "set.editor": "IDE predeterminado",
+    "set.editor.open": "Abrir enlaces de archivo en",
     "set.editor_overrides": "IDE por lenguaje",
     "set.terminal": "Terminal predeterminada",
     "set.shell.pages": "Páginas",
@@ -342,6 +342,7 @@
     "set.graph.panelWidth": "Panel de detalles",
     "set.workspace.editor": "IDE de este espacio de trabajo",
     "set.agents.runtimes": "Runtimes",
+    "set.agents.layout": "Disposición de la pestaña Agentes",
     "set.cli.local_dev": "Entorno local",
     "set.cli.cli_tabs": "Pestañas de terminal",
     "set.cli.log_window_lines": "Líneas del panel de registros",
@@ -476,6 +477,23 @@
     "ag.palStart": "Iniciar agente…",
     "ag.cap":
       "Hasta 4 paneles: se cerró el de {id} para hacer sitio (sigue en marcha)",
+    "ag.layout": "Disposición",
+    "ag.l.focus": "Enfoque",
+    "ag.l.tabs": "Pestañas",
+    "ag.l.tile": "Mosaico",
+    "ag.l.tip": "{name} ({key})",
+    "ag.hint.keys":
+      "⌃⇧1 / ⌃⇧2 / ⌃⇧3 cambian la disposición. ⌘ y clic (Ctrl y clic) abre un enlace o una ruta.",
+    "ag.pal.layout": "Disposición: {name}",
+    "ag.copied": "Copiado",
+    "ag.tabs": "Sesiones abiertas",
+    "ag.hint.focus":
+      "Un clic muestra una sesión. Mayús o ⌘ y clic la añade al lado.",
+    "ag.hint.tabs":
+      "Un clic abre una sesión en una pestaña. Doble clic en una pestaña para cambiarle el nombre.",
+    "ag.hint.tile": "Un clic añade una sesión al mosaico, hasta 4.",
+    "ag.renameTip": "Doble clic para cambiar el nombre",
+    "ag.renameName": "Cambiar el nombre de {id}",
     "ag.rt.ready": "Inicia {name} {version} desde",
     "ag.rt.readyNoVer": "Inicia {name} desde",
     "ag.rt.notFound": "No se encontró {name}.",

package/src/ui/server/public/i18n/ja.js

@@ -29,7 +29,9 @@
     "ws.all": "すべてのアクティブ",
     "ws.focus": "CLI の既定",
     "ws.focusTip":
-      "ワークスペースを指定しないとき、CLI のコマンドはここで実行されます。上部バーでワークスペースを選んでも、ページの表示が変わるだけです。",
+      "ワークスペースを指定しないと CLI のコマンドはここで実行されます。上部バーでワークスペースを選ぶと、それが CLI の既定にもなります。",
+    "ws.pickTip":
+      "ここでワークスペースを選ぶと CLI の既定にもなり、__DEN_CLI__ のコマンドはそこで実行されます。",
     "ws.none": "アクティブなワークスペースはありません",
     "ws.manage": "ワークスペースを管理…",
     "ws.allN": "すべてのアクティブ ({n})",
@@ -39,10 +41,7 @@
     "ws.viewTitle":
       "表示: すべてのページに表示する範囲 ({ws})。表示の絞り込みだけで、何も起動・停止・ルーティングしません。",
     "ws.viewTitleFocus":
-      "表示: すべてのページに表示する範囲 ({ws})。表示の絞り込みだけで、何も起動・停止・ルーティングしません。コマンドの対象は CLI の既定 ({focus}) のままです。",
-    "ws.setFocus": "{ws} を CLI の既定にする",
-    "ws.setFocusTip":
-      "コマンドの既定の対象にします (workspaces.yml に書き込みます)",
+      "表示: 各ページに出るもの ({ws})。起動・停止・ルーティングは行いません。CLI の既定: {focus}。",
     "ws.viewFailed": "表示を変更できませんでした: {msg}",
     "ws.focusFailed": "フォーカスを設定できませんでした: {msg}",
     "org.n": "{n} 個のワークスペース",
@@ -317,6 +316,7 @@
     "set.language": "言語",
     "set.appearance.org-theme": "組織の既定テーマ",
     "set.editor": "既定の IDE",
+    "set.editor.open": "ファイルリンクを開くエディター",
     "set.editor_overrides": "言語ごとの IDE",
     "set.terminal": "既定のターミナル",
     "set.shell.pages": "ページ",
@@ -331,6 +331,7 @@
     "set.graph.panelWidth": "詳細パネル",
     "set.workspace.editor": "このワークスペースの IDE",
     "set.agents.runtimes": "ランタイム",
+    "set.agents.layout": "エージェントタブのレイアウト",
     "set.cli.local_dev": "ローカル環境",
     "set.cli.cli_tabs": "ターミナルのタブ",
     "set.cli.log_window_lines": "ログ欄の行数",
@@ -456,6 +457,23 @@
     "ag.palStart": "エージェントを開始…",
     "ag.cap":
       "ペインは最大 4 つです。{id} のペインを閉じました（実行は続きます）",
+    "ag.layout": "レイアウト",
+    "ag.l.focus": "フォーカス",
+    "ag.l.tabs": "タブ",
+    "ag.l.tile": "タイル",
+    "ag.l.tip": "{name}（{key}）",
+    "ag.hint.keys":
+      "⌃⇧1 / ⌃⇧2 / ⌃⇧3 でレイアウトを切り替えます。⌘ クリック（Ctrl クリック）でリンクやパスを開きます。",
+    "ag.pal.layout": "レイアウト: {name}",
+    "ag.copied": "コピーしました",
+    "ag.tabs": "開いているセッション",
+    "ag.hint.focus":
+      "クリックで 1 つのセッションを表示します。Shift か ⌘ を押しながらクリックすると横に追加します。",
+    "ag.hint.tabs":
+      "クリックでセッションをタブで開きます。タブをダブルクリックすると名前を変えられます。",
+    "ag.hint.tile": "クリックでセッションをタイルに追加します（最大 4）。",
+    "ag.renameTip": "ダブルクリックで名前を変更",
+    "ag.renameName": "{id} の名前を変更",
     "ag.rt.ready": "{name} {version} を起動:",
     "ag.rt.readyNoVer": "{name} を起動:",
     "ag.rt.notFound": "{name} が見つかりません。",

package/src/ui/server/public/local-dev.html

@@ -1613,7 +1613,7 @@
                   ? `<button class="danger" data-action="delete">Delete</button>`
                   : "";
               return `<div class="ws-item ${n === activeWs ? "active" : ""}" data-name="${escHtml(n)}" data-action="select">
-          <span>${escHtml(n)}${isWsActive(n) ? ' <span style="font-size:10px;color:var(--muted)">(active)</span>' : ""}${n === focusName() ? ` <span class="ws-cli-default" title="${escHtml(wsT("ws.focusTip", "CLI commands run here when you don't name a workspace. Picking a workspace in the top bar only changes what pages show."))}">${escHtml(wsT("ws.focus", "CLI default"))}</span>` : ""}</span>
+          <span>${escHtml(n)}${isWsActive(n) ? ' <span style="font-size:10px;color:var(--muted)">(active)</span>' : ""}${n === focusName() ? ` <span class="ws-cli-default" title="${escHtml(wsT("ws.focusTip", "CLI commands run here when you don't name a workspace. Picking a workspace in the top bar also makes it the CLI default."))}">${escHtml(wsT("ws.focus", "CLI default"))}</span>` : ""}</span>
           <span class="ws-item-right">
             <button class="ws-term-btn" title="Open in terminal" data-open-term="${escHtml(dirPath)}">&#62;_</button>
             <button class="ws-open-btn" title="Open in editor" data-open-path="${escHtml(wsData.codeWorkspacePaths?.[n] || dirPath)}">↗</button>

package/src/ui/server/public/settings-registry.js

@@ -628,6 +628,33 @@ export const DEN_SETTINGS = [
     read: (ctx) => effective(ctx.data.editors, ctx.data.editor),
     write: (v, ctx) => ctx.post({ editor: v || null }),
   },
+  {
+    id: "editor.open",
+    category: "editor",
+    label: "Open file links in",
+    description:
+      "⌘-click (Ctrl-click on Windows and Linux) on a file path in an agent's pane opens it here, at the line. None copies the path instead.",
+    keywords: [
+      "editor",
+      "link",
+      "path",
+      "file",
+      "agents",
+      "vscode",
+      "cursor",
+      "zed",
+    ],
+    scope: "user",
+    control: seg([
+      { value: "vscode", label: "VS Code" },
+      { value: "cursor", label: "Cursor" },
+      { value: "zed", label: "Zed" },
+      { value: "none", label: "None (copy)" },
+    ]),
+    keys: ["editor_open"],
+    read: (ctx) => ctx.data.editor_open ?? "none",
+    write: (v, ctx) => ctx.post({ editor_open: v }),
+  },
   {
     id: "editor_overrides",
     category: "editor",
@@ -813,6 +840,23 @@ export const DEN_SETTINGS = [
   },
 
   // ── Agents ─────────────────────────────────────────────────────────────
+  {
+    id: "agents.layout",
+    category: "agents",
+    label: "Agents tab layout",
+    description:
+      "Focus shows one agent, Tabs shows one with a tab for each, Tile shows up to four in a grid. The Agents tab's switch, ⌃⇧1, ⌃⇧2, ⌃⇧3 and ⌘K set it too.",
+    keywords: ["agents", "layout", "focus", "tabs", "tile", "grid", "panes"],
+    scope: "user",
+    control: seg([
+      { value: "focus", label: "Focus" },
+      { value: "tabs", label: "Tabs" },
+      { value: "tile", label: "Tile" },
+    ]),
+    keys: ["agents_layout"],
+    read: (ctx) => ctx.data.agents_layout ?? "focus",
+    write: (v, ctx) => ctx.post({ agents_layout: v }),
+  },
   {
     id: "agents.runtimes",
     category: "agents",

package/src/ui/server/public/shell.js

@@ -62,7 +62,7 @@
  *   setOrgs([{ id, title, workspaces? }], currentId, onSelect?)
  *                                    two or more: the Org ▾ menu; a pick
  *                                    calls onSelect(id), fires `den:org`
- *   setWorkspaces({ label, title, items, focusable, onSelect, onFocus })
+ *   setWorkspaces({ label, title, items, focus, onSelect })
  *                                    the Workspace ▾ menu (header.js)
  *   syncEnv()                        repaint Env ▾ from #env-sel
  *   registerCommand({ id, label, keywords?, kind?, run })
@@ -134,7 +134,9 @@
     "ws.all": "All active",
     "ws.focus": "CLI default",
     "ws.focusTip":
-      "CLI commands run here when you don't name a workspace. Picking a workspace in the top bar only changes what pages show.",
+      "CLI commands run here when you don't name a workspace. Picking a workspace in the top bar also makes it the CLI default.",
+    "ws.pickTip":
+      "Picking a workspace here also makes it the CLI default, so __DEN_CLI__ commands run there.",
     "ws.none": "No active workspaces",
     "ws.manage": "Manage workspaces…",
     "ws.allN": "All active ({n})",
@@ -144,10 +146,7 @@
     "ws.viewTitle":
       "View: what every page shows ({ws}). A view filter only: it starts, stops and routes nothing.",
     "ws.viewTitleFocus":
-      "View: what every page shows ({ws}). A view filter only: it starts, stops and routes nothing, and the CLI default ({focus}) stays the target for commands.",
-    "ws.setFocus": "Make {ws} the CLI default",
-    "ws.setFocusTip":
-      "CLI commands run in it when you don't name a workspace (writes workspaces.yml)",
+      "View: what every page shows ({ws}). It starts, stops and routes nothing. CLI default: {focus}.",
     "ws.viewFailed": "Could not change the view: {msg}",
     "ws.focusFailed": "Could not change the CLI default: {msg}",
     // A count's singular is its .one (0.3.0-dev.40: en had none, so the org
@@ -439,6 +438,7 @@
     "set.language": "Language",
     "set.appearance.org-theme": "Org default theme",
     "set.editor": "Default IDE",
+    "set.editor.open": "Open file links in",
     "set.editor_overrides": "Per-language IDE",
     "set.terminal": "Default terminal",
     "set.shell.pages": "Pages",
@@ -453,6 +453,7 @@
     "set.graph.panelWidth": "Details panel",
     "set.workspace.editor": "IDE for this workspace",
     "set.agents.runtimes": "Runtimes",
+    "set.agents.layout": "Agents tab layout",
     "set.cli.local_dev": "Local environment",
     "set.cli.cli_tabs": "Terminal tabs",
     "set.cli.log_window_lines": "Log pane lines",
@@ -586,6 +587,24 @@
     "ag.pal": "Agents › {ws} / {name}",
     "ag.palStart": "Start agent…",
     "ag.cap": "Up to 4 panes: {id}'s closed to make room (it keeps running)",
+    // AG-4b: the Agents tab's layouts and named tabs.
+    "ag.layout": "Layout",
+    "ag.l.focus": "Focus",
+    "ag.l.tabs": "Tabs",
+    "ag.l.tile": "Tile",
+    "ag.l.tip": "{name} ({key})",
+    "ag.hint.keys":
+      "⌃⇧1 / ⌃⇧2 / ⌃⇧3 switch layout. ⌘-click (Ctrl-click) opens a link or path.",
+    "ag.pal.layout": "Layout: {name}",
+    "ag.copied": "Copied",
+    "ag.tabs": "Open sessions",
+    "ag.hint.focus":
+      "Click shows one session. Shift- or ⌘-click adds it alongside.",
+    "ag.hint.tabs":
+      "Click opens a session as a tab. Double-click a tab to rename it.",
+    "ag.hint.tile": "Click adds a session as a tile, up to 4.",
+    "ag.renameTip": "Double-click to rename",
+    "ag.renameName": "Rename {id}",
     "ag.rt.ready": "Starts {name} {version} from",
     "ag.rt.readyNoVer": "Starts {name} from",
     "ag.rt.notFound": "{name} not found.",
@@ -1722,8 +1741,9 @@
   /**
    * The Workspace part: { label, title, items: [{ value, label, checked,
    * focused, title? }], onSelect(value) }. "All active" and the active
-   * workspaces, the focused one marked; then, apart, "Set <ws> as focus"
-   * (model.focusable, model.onFocus(name)) and a link to manage them.
+   * workspaces, the focused one (model.focus, the CLI default) marked; then
+   * a link to manage them. onSelect(value, focus): choosing a workspace
+   * also makes it the CLI default (header.js).
    */
   function setWorkspaces(model) {
     var btn = document.getElementById("ws-pill");
@@ -1748,22 +1768,16 @@
         tag: it.focused ? t("ws.focus") : null,
         title: it.title || null,
         onSelect: function () {
-          if (!it.checked && typeof model.onSelect === "function")
-            model.onSelect(it.value);
+          if (typeof model.onSelect !== "function") return;
+          // The workspace in view still becomes the CLI default when it
+          // isn't one; picking what is both already does nothing.
+          if (it.checked && (it.value === "all" || it.value === model.focus))
+            return;
+          model.onSelect(it.value, model.focus || null, !!it.checked);
         },
       });
     });
     items.push({ hr: true });
-    // Focus is a separate action (it writes workspaces.yml and retargets
-    // the CLI); picking a view above never moves it.
-    if (model.focusable && typeof model.onFocus === "function")
-      items.push({
-        label: t("ws.setFocus", { ws: model.focusable }),
-        title: t("ws.setFocusTip"),
-        onSelect: function () {
-          model.onFocus(model.focusable);
-        },
-      });
     items.push({ label: t("ws.manage"), href: navHref("local-dev") });
     scopeMenus.ws = { label: t("k.ws"), items: items };
   }