xtralab 0.5.0 → 0.6.0

package/lib/launcher/editors.js

@@ -0,0 +1,110 @@
+import { LabIcon, textEditorIcon } from '@jupyterlab/ui-components';
+import { BUILTIN_EDITOR_ICONS } from './icons';
+/**
+ * Built-in editor candidates in preference order. The launcher shows the first
+ * one whose command resolves on the server's `$PATH`, so Neovim wins over Vim
+ * when both are installed. Users override, disable, or extend this list
+ * through the `editors` setting; see {@link mergeEditors}.
+ */
+const DEFAULTS = [
+    {
+        id: 'nvim',
+        label: 'Neovim',
+        caption: 'Open Neovim in a new terminal.',
+        command: 'nvim',
+        icon: BUILTIN_EDITOR_ICONS.nvim,
+        rank: 0,
+        requireAvailable: true
+    },
+    {
+        id: 'vim',
+        label: 'Vim',
+        caption: 'Open Vim in a new terminal.',
+        command: 'vim',
+        icon: BUILTIN_EDITOR_ICONS.vim,
+        rank: 1,
+        requireAvailable: true
+    }
+];
+function resolveEditorIcon(id, iconSvg) {
+    var _a;
+    if (iconSvg) {
+        return new LabIcon({
+            name: `xtralab:editor-custom-${id}`,
+            svgstr: iconSvg
+        });
+    }
+    return (_a = BUILTIN_EDITOR_ICONS[id]) !== null && _a !== void 0 ? _a : textEditorIcon;
+}
+/**
+ * Merge xtralab's built-in editors with the user's `editors` settings. Built-in
+ * entries keep their fields unless explicitly overridden; user-only entries are
+ * appended. `enabled: false` filters an entry out of the result entirely (so
+ * callers don't need to re-check the flag). The result is sorted by rank, which
+ * is also the launcher's tile-preference order. Mirrors `mergeAgents`.
+ */
+export function mergeEditors(overrides) {
+    var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k;
+    const overrideById = new Map(overrides.map(entry => [entry.id, entry]));
+    const merged = [];
+    for (const base of DEFAULTS) {
+        const override = overrideById.get(base.id);
+        if (!override) {
+            merged.push({ ...base });
+            continue;
+        }
+        overrideById.delete(base.id);
+        if (override.enabled === false) {
+            continue;
+        }
+        merged.push({
+            id: base.id,
+            label: (_a = override.label) !== null && _a !== void 0 ? _a : base.label,
+            caption: (_b = override.caption) !== null && _b !== void 0 ? _b : base.caption,
+            command: (_c = override.command) !== null && _c !== void 0 ? _c : base.command,
+            icon: override.iconSvg
+                ? resolveEditorIcon(base.id, override.iconSvg)
+                : base.icon,
+            rank: (_d = override.rank) !== null && _d !== void 0 ? _d : base.rank,
+            requireAvailable: (_e = override.requireAvailable) !== null && _e !== void 0 ? _e : base.requireAvailable
+        });
+    }
+    // What remains in `overrideById` are ids that don't match a built-in — treat
+    // them as new editors the user is adding. Skip disabled ones; the settings
+    // schema validates the shape, so missing fields just fall back here.
+    let nextRank = merged.reduce((max, editor) => Math.max(max, editor.rank), -1) + 1;
+    for (const entry of overrideById.values()) {
+        if (entry.enabled === false) {
+            continue;
+        }
+        const label = (_f = entry.label) !== null && _f !== void 0 ? _f : entry.id;
+        const command = (_g = entry.command) !== null && _g !== void 0 ? _g : entry.id;
+        merged.push({
+            id: entry.id,
+            label,
+            caption: (_h = entry.caption) !== null && _h !== void 0 ? _h : `Open ${label} in a new terminal.`,
+            command,
+            icon: resolveEditorIcon(entry.id, entry.iconSvg),
+            rank: (_j = entry.rank) !== null && _j !== void 0 ? _j : nextRank++,
+            requireAvailable: (_k = entry.requireAvailable) !== null && _k !== void 0 ? _k : true
+        });
+    }
+    merged.sort((a, b) => a.rank - b.rank);
+    return merged;
+}
+/**
+ * Pick the single editor tile to show, given the merged editor list and the
+ * set of commands known to be on `$PATH` (from the launcher's availability
+ * probe). Returns the first candidate, by rank, that is either available or
+ * opts out of the check (`requireAvailable: false`) — Neovim before Vim by
+ * default — or `null` when none qualifies.
+ *
+ * When `available` is `null` (the endpoint couldn't be reached), a
+ * `requireAvailable` editor is not shown; an entry with
+ * `requireAvailable: false` is shown regardless.
+ */
+export function resolveEditor(editors, available) {
+    var _a;
+    return ((_a = editors.find(editor => !editor.requireAvailable ||
+        (available !== null && available.has(editor.command)))) !== null && _a !== void 0 ? _a : null);
+}

package/lib/launcher/icons.d.ts

@@ -1,29 +1,41 @@
 import { LabIcon } from '@jupyterlab/ui-components';
 /**
- * Brand icons for the agent launcher cards. The artwork is taken verbatim
+ * Brand icons for the agent launcher cards. Most marks are taken verbatim
  * from `jupyter-ai-contrib/jupyter-ai-acp-client`
- * (`jupyter_ai_acp_client/static/*.svg`, BSD-3-Clause), with small
- * adjustments to play nicely with JupyterLab themes:
+ * (`jupyter_ai_acp_client/static/*.svg`, BSD-3-Clause); Antigravity post-dates
+ * that set, so its mark is the official glyph from `@lobehub/icons-static-svg`
+ * (MIT) — we ship the brand-colored `antigravity-color` variant so Antigravity
+ * reads as a multi-color Google mark, occupying the slot the Gemini icon used
+ * to fill before the upstream Gemini CLI sunset. Small adjustments are applied
+ * to play nicely with JupyterLab themes:
  *   - Monochrome marks (Codex, Copilot, Goose) use `currentColor` so they
  *     inherit the surrounding launcher card's text color rather than
  *     hard-coding black, which disappears on the dark theme.
  *   - The Goose mark upstream is rendered on a white rounded rect; we drop
  *     the rect so the silhouette can sit on the launcher card directly.
  *   - SVG ids that would collide if two copies of the same artwork ended up
- *     on the page (gradient/mask defs) are namespaced under `xtralab-…`.
+ *     on the page (gradient/mask/filter defs) are namespaced under
+ *     `xtralab-…`.
  *
- * Brand-colored icons (Claude, Gemini, Kiro, Mistral Vibe, OpenCode) keep
+ * Brand-colored icons (Antigravity, Claude, Kiro, Mistral Vibe, OpenCode) keep
  * their upstream colors; the dark/light contrast of the launcher card behind
  * them is the same as on `jupyter-ai-acp-client`.
+ *
+ * The Vim and Neovim marks belong to the launcher's "Open" editor tile rather
+ * than the agent grid. They are the brand silhouettes from Simple Icons
+ * (https://simpleicons.org, CC0), each filled with its brand green so the mark
+ * reads on both the light and dark themes.
  */
+export declare const antigravityIcon: LabIcon;
 export declare const claudeIcon: LabIcon;
 export declare const codexIcon: LabIcon;
 export declare const copilotIcon: LabIcon;
-export declare const geminiIcon: LabIcon;
 export declare const gooseIcon: LabIcon;
 export declare const kiroIcon: LabIcon;
 export declare const mistralVibeIcon: LabIcon;
 export declare const opencodeIcon: LabIcon;
+export declare const neovimIcon: LabIcon;
+export declare const vimIcon: LabIcon;
 /**
  * Built-in icons keyed by the agent's id, used to resolve the icon for an
  * agent declared without an inline `iconSvg` override (i.e. one of xtralab's
@@ -31,3 +43,10 @@ export declare const opencodeIcon: LabIcon;
  * `iconSvg` or fall back to the generic terminal icon.
  */
 export declare const BUILTIN_AGENT_ICONS: Record<string, LabIcon>;
+/**
+ * Built-in icons keyed by the editor's id, used to resolve the icon for a
+ * built-in editor (Neovim, Vim) declared without an inline `iconSvg`. Custom
+ * editors added via settings can supply their own `iconSvg` or fall back to
+ * the generic text-editor icon.
+ */
+export declare const BUILTIN_EDITOR_ICONS: Record<string, LabIcon>;

package/lib/launcher/icons.js

@@ -1,21 +1,109 @@
 import { LabIcon } from '@jupyterlab/ui-components';
 /**
- * Brand icons for the agent launcher cards. The artwork is taken verbatim
+ * Brand icons for the agent launcher cards. Most marks are taken verbatim
  * from `jupyter-ai-contrib/jupyter-ai-acp-client`
- * (`jupyter_ai_acp_client/static/*.svg`, BSD-3-Clause), with small
- * adjustments to play nicely with JupyterLab themes:
+ * (`jupyter_ai_acp_client/static/*.svg`, BSD-3-Clause); Antigravity post-dates
+ * that set, so its mark is the official glyph from `@lobehub/icons-static-svg`
+ * (MIT) — we ship the brand-colored `antigravity-color` variant so Antigravity
+ * reads as a multi-color Google mark, occupying the slot the Gemini icon used
+ * to fill before the upstream Gemini CLI sunset. Small adjustments are applied
+ * to play nicely with JupyterLab themes:
  *   - Monochrome marks (Codex, Copilot, Goose) use `currentColor` so they
  *     inherit the surrounding launcher card's text color rather than
  *     hard-coding black, which disappears on the dark theme.
  *   - The Goose mark upstream is rendered on a white rounded rect; we drop
  *     the rect so the silhouette can sit on the launcher card directly.
  *   - SVG ids that would collide if two copies of the same artwork ended up
- *     on the page (gradient/mask defs) are namespaced under `xtralab-…`.
+ *     on the page (gradient/mask/filter defs) are namespaced under
+ *     `xtralab-…`.
  *
- * Brand-colored icons (Claude, Gemini, Kiro, Mistral Vibe, OpenCode) keep
+ * Brand-colored icons (Antigravity, Claude, Kiro, Mistral Vibe, OpenCode) keep
  * their upstream colors; the dark/light contrast of the launcher card behind
  * them is the same as on `jupyter-ai-acp-client`.
+ *
+ * The Vim and Neovim marks belong to the launcher's "Open" editor tile rather
+ * than the agent grid. They are the brand silhouettes from Simple Icons
+ * (https://simpleicons.org, CC0), each filled with its brand green so the mark
+ * reads on both the light and dark themes.
  */
+export const antigravityIcon = new LabIcon({
+    name: 'xtralab:agent-antigravity',
+    svgstr: `<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none">
+  <mask id="xtralab-antigravity-mask" height="23" maskUnits="userSpaceOnUse" width="24" x="0" y="1">
+    <path d="M21.751 22.607c1.34 1.005 3.35.335 1.508-1.508C17.73 15.74 18.904 1 12.037 1 5.17 1 6.342 15.74.815 21.1c-2.01 2.009.167 2.511 1.507 1.506 5.192-3.517 4.857-9.714 9.715-9.714 4.857 0 4.522 6.197 9.714 9.715z" fill="#fff"/>
+  </mask>
+  <g mask="url(#xtralab-antigravity-mask)">
+    <g filter="url(#xtralab-antigravity-blur-1)">
+      <path d="M-1.018-3.992c-.408 3.591 2.686 6.89 6.91 7.37 4.225.48 7.98-2.043 8.387-5.633.408-3.59-2.686-6.89-6.91-7.37-4.225-.479-7.98 2.043-8.387 5.633z" fill="#FFE432"/>
+    </g>
+    <g filter="url(#xtralab-antigravity-blur-2)">
+      <path d="M15.269 7.747c1.058 4.557 5.691 7.374 10.348 6.293 4.657-1.082 7.575-5.653 6.516-10.21-1.058-4.556-5.691-7.374-10.348-6.292-4.657 1.082-7.575 5.653-6.516 10.21z" fill="#FC413D"/>
+    </g>
+    <g filter="url(#xtralab-antigravity-blur-3)">
+      <path d="M-12.443 10.804c1.338 4.703 7.36 7.11 13.453 5.378 6.092-1.733 9.947-6.95 8.61-11.652C8.282-.173 2.26-2.58-3.833-.848-9.925.884-13.78 6.1-12.443 10.804z" fill="#00B95C"/>
+    </g>
+    <g filter="url(#xtralab-antigravity-blur-4)">
+      <path d="M-12.443 10.804c1.338 4.703 7.36 7.11 13.453 5.378 6.092-1.733 9.947-6.95 8.61-11.652C8.282-.173 2.26-2.58-3.833-.848-9.925.884-13.78 6.1-12.443 10.804z" fill="#00B95C"/>
+    </g>
+    <g filter="url(#xtralab-antigravity-blur-5)">
+      <path d="M-7.608 14.703c3.352 3.424 9.126 3.208 12.896-.483 3.77-3.69 4.108-9.459.756-12.883C2.69-2.087-3.083-1.871-6.853 1.82c-3.77 3.69-4.108 9.458-.755 12.883z" fill="#00B95C"/>
+    </g>
+    <g filter="url(#xtralab-antigravity-blur-6)">
+      <path d="M9.932 27.617c1.04 4.482 5.384 7.303 9.7 6.3 4.316-1.002 6.971-5.448 5.93-9.93-1.04-4.483-5.384-7.304-9.7-6.301-4.316 1.002-6.971 5.448-5.93 9.93z" fill="#3186FF"/>
+    </g>
+    <g filter="url(#xtralab-antigravity-blur-7)">
+      <path d="M2.572-8.185C.392-3.329 2.778 2.472 7.9 4.771c5.122 2.3 11.042.227 13.222-4.63 2.18-4.855-.205-10.656-5.327-12.955-5.122-2.3-11.042-.227-13.222 4.63z" fill="#FBBC04"/>
+    </g>
+    <g filter="url(#xtralab-antigravity-blur-8)">
+      <path d="M-3.267 38.686c-5.277-2.072 3.742-19.117 5.984-24.83 2.243-5.712 8.34-8.664 13.616-6.592 5.278 2.071 11.533 13.482 9.29 19.195-2.242 5.713-23.613 14.298-28.89 12.227z" fill="#3186FF"/>
+    </g>
+    <g filter="url(#xtralab-antigravity-blur-9)">
+      <path d="M28.71 17.471c-1.413 1.649-5.1.808-8.236-1.878-3.135-2.687-4.531-6.201-3.118-7.85 1.412-1.649 5.1-.808 8.235 1.878s4.532 6.2 3.119 7.85z" fill="#749BFF"/>
+    </g>
+    <g filter="url(#xtralab-antigravity-blur-10)">
+      <path d="M18.163 9.077c5.81 3.93 12.502 4.19 14.946.577 2.443-3.612-.287-9.727-6.098-13.658-5.81-3.931-12.502-4.19-14.946-.577-2.443 3.612.287 9.727 6.098 13.658z" fill="#FC413D"/>
+    </g>
+    <g filter="url(#xtralab-antigravity-blur-11)">
+      <path d="M-.915 2.684c-1.44 3.473-.97 6.967 1.05 7.804 2.02.837 4.824-1.3 6.264-4.772 1.44-3.473.97-6.967-1.05-7.804-2.02-.837-4.824 1.3-6.264 4.772z" fill="#FFEE48"/>
+    </g>
+  </g>
+  <defs>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="17.587" id="xtralab-antigravity-blur-1" width="19.838" x="-3.288" y="-11.917">
+      <feGaussianBlur stdDeviation="1.117"/>
+    </filter>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="38.565" id="xtralab-antigravity-blur-2" width="38.9" x="4.251" y="-13.493">
+      <feGaussianBlur stdDeviation="5.4"/>
+    </filter>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="36.517" id="xtralab-antigravity-blur-3" width="40.955" x="-21.889" y="-10.592">
+      <feGaussianBlur stdDeviation="4.591"/>
+    </filter>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="36.517" id="xtralab-antigravity-blur-4" width="40.955" x="-21.889" y="-10.592">
+      <feGaussianBlur stdDeviation="4.591"/>
+    </filter>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="36.595" id="xtralab-antigravity-blur-5" width="36.632" x="-19.099" y="-10.278">
+      <feGaussianBlur stdDeviation="4.591"/>
+    </filter>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="34.087" id="xtralab-antigravity-blur-6" width="33.533" x=".981" y="8.758">
+      <feGaussianBlur stdDeviation="4.363"/>
+    </filter>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="35.276" id="xtralab-antigravity-blur-7" width="35.978" x="-6.143" y="-21.659">
+      <feGaussianBlur stdDeviation="3.954"/>
+    </filter>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="46.523" id="xtralab-antigravity-blur-8" width="45.114" x="-11.96" y="-.46">
+      <feGaussianBlur stdDeviation="3.531"/>
+    </filter>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="24.054" id="xtralab-antigravity-blur-9" width="25.094" x="10.485" y=".58">
+      <feGaussianBlur stdDeviation="3.159"/>
+    </filter>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="30.007" id="xtralab-antigravity-blur-10" width="33.508" x="5.833" y="-12.467">
+      <feGaussianBlur stdDeviation="2.669"/>
+    </filter>
+    <filter color-interpolation-filters="sRGB" filterUnits="userSpaceOnUse" height="26.151" id="xtralab-antigravity-blur-11" width="22.194" x="-8.355" y="-8.876">
+      <feGaussianBlur stdDeviation="3.303"/>
+    </filter>
+  </defs>
+</svg>`
+});
 export const claudeIcon = new LabIcon({
     name: 'xtralab:agent-claude',
     svgstr: `<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1200 1200">
@@ -35,19 +123,6 @@ export const copilotIcon = new LabIcon({
   <path d="M6.25 9.037a.75.75 0 0 1 .75.75v1.501a.75.75 0 0 1-1.5 0V9.787a.75.75 0 0 1 .75-.75Zm4.25.75v1.501a.75.75 0 0 1-1.5 0V9.787a.75.75 0 0 1 1.5 0Z"/>
 </svg>`
 });
-export const geminiIcon = new LabIcon({
-    name: 'xtralab:agent-gemini',
-    svgstr: `<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" fill="none">
-  <path d="M16 8.016A8.522 8.522 0 008.016 16h-.032A8.521 8.521 0 000 8.016v-.032A8.521 8.521 0 007.984 0h.032A8.522 8.522 0 0016 7.984v.032z" fill="url(#xtralab-gemini-radial)"/>
-  <defs>
-    <radialGradient id="xtralab-gemini-radial" cx="0" cy="0" r="1" gradientUnits="userSpaceOnUse" gradientTransform="matrix(16.1326 5.4553 -43.70045 129.2322 1.588 6.503)">
-      <stop offset=".067" stop-color="#9168C0"/>
-      <stop offset=".343" stop-color="#5684D1"/>
-      <stop offset=".672" stop-color="#1BA1E3"/>
-    </radialGradient>
-  </defs>
-</svg>`
-});
 export const gooseIcon = new LabIcon({
     name: 'xtralab:agent-goose',
     svgstr: `<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 2048 2048">
@@ -95,6 +170,18 @@ export const opencodeIcon = new LabIcon({
   <path fill-rule="evenodd" clip-rule="evenodd" d="M384 416H128V96H384V416ZM320 160H192V352H320V160Z" fill="white"/>
 </svg>`
 });
+export const neovimIcon = new LabIcon({
+    name: 'xtralab:editor-neovim',
+    svgstr: `<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="#57A143">
+  <path d="M2.214 4.954v13.615L7.655 24V10.314L3.312 3.845 2.214 4.954zm4.999 17.98l-4.557-4.548V5.136l.59-.596 3.967 5.908v12.485zm14.573-4.457l-.862.937-4.24-6.376V0l5.068 5.092.034 13.385zM7.431.001l12.998 19.835-3.637 3.637L3.787 3.683 7.43 0z"/>
+</svg>`
+});
+export const vimIcon = new LabIcon({
+    name: 'xtralab:editor-vim',
+    svgstr: `<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="#019733">
+  <path d="M24 11.986h-.027l-4.318-4.318 4.303-4.414V1.461l-.649-.648h-8.198l-.66.605v1.045L12.015.027V0L12 .014 11.986 0v.027l-1.29 1.291-.538-.539H2.035l-.638.692v1.885l.616.616h.72v5.31L.027 11.987H0L.014 12 0 12.014h.027l2.706 2.706v6.467l.907.523h2.322l1.857-1.904 4.166 4.166V24l.015-.014.014.014v-.028l2.51-2.509h.485c.111 0 .211-.07.25-.179l.146-.426c.028-.084.012-.172-.037-.239l1.462-1.462-.612 1.962c-.043.141.036.289.177.332.025.008.052.012.078.012h1.824c.106-.001.201-.064.243-.163l.165-.394c.025-.065.024-.138-.004-.203-.027-.065-.08-.116-.146-.142-.029-.012-.062-.019-.097-.02h-.075l.84-2.644h1.232l-1.016 3.221c-.043.141.036.289.176.332.025.008.052.012.079.012h2.002c.11 0 .207-.066.248-.17l.164-.428c.051-.138-.021-.29-.158-.341-.029-.011-.06-.017-.091-.017h-.145l1.131-3.673c.027-.082.012-.173-.039-.24l-.375-.504-.003-.005c-.051-.064-.127-.102-.209-.102h-1.436c-.071 0-.141.03-.19.081l-.4.439h-.624l-.042-.046 4.445-4.445H24L23.986 12l.014-.014zM9.838 21.139l1.579-4.509h-.501l.297-.304h1.659l-1.563 4.555h.623l-.079.258H9.838zm3.695-7.516l.15.151-.269.922-.225.226h-.969l-.181-.181.311-.871.288-.247h.895zM5.59 20.829H3.877l-.262-.15V3.091H2.379l-.1-.1V1.815l.143-.154h7.371l.213.214v1.108l-.142.173H8.785v8.688l8.807-8.688h-2.086l-.175-.188V1.805l.121-.111h7.49l.132.133v1.07L12.979 13.25h-.373c-.015-.001-.028 0-.042.001l-.02.003c-.045.01-.086.03-.119.06l-.343.295-.004.003c-.033.031-.059.069-.073.111l-.296.83-6.119 6.276zm14.768-3.952l.474-.519h1.334l.309.415-1.265 4.107h.493l-.08.209H19.84l1.124-3.564h-2.015l-1.077 3.391h.424l-.073.174h-1.605l1.107-3.548h-2.096l-1.062 3.339h.436l-.072.209H13.27l1.514-4.46H14.198l.091-.271h1.65l.519.537h.906l.491-.554h1.061l.489.535h.953z"/>
+</svg>`
+});
 /**
  * Built-in icons keyed by the agent's id, used to resolve the icon for an
  * agent declared without an inline `iconSvg` override (i.e. one of xtralab's
@@ -102,12 +189,22 @@ export const opencodeIcon = new LabIcon({
  * `iconSvg` or fall back to the generic terminal icon.
  */
 export const BUILTIN_AGENT_ICONS = {
+    antigravity: antigravityIcon,
     claude: claudeIcon,
     codex: codexIcon,
     copilot: copilotIcon,
-    gemini: geminiIcon,
     goose: gooseIcon,
     kiro: kiroIcon,
     'mistral-vibe': mistralVibeIcon,
     opencode: opencodeIcon
 };
+/**
+ * Built-in icons keyed by the editor's id, used to resolve the icon for a
+ * built-in editor (Neovim, Vim) declared without an inline `iconSvg`. Custom
+ * editors added via settings can supply their own `iconSvg` or fall back to
+ * the generic text-editor icon.
+ */
+export const BUILTIN_EDITOR_ICONS = {
+    nvim: neovimIcon,
+    vim: vimIcon
+};

package/lib/launcher/index.d.ts

@@ -1,23 +1,3 @@
 import { JupyterFrontEndPlugin } from '@jupyterlab/application';
-/**
- * The xtralab launcher plugin. Replaces the stock JupyterLab launcher
- * (which is disabled via `package.json`'s `jupyterlab.disabledExtensions`)
- * with an agent-focused dashboard: an optional initial prompt, a row of
- * agent buttons (Claude, Codex, Gemini, …), and a collapsible list of
- * changed files (clickable into the diff viewer) below them. Clicking an
- * agent opens a fresh terminal and pipes the agent's command into it; if
- * the prompt textarea is non-empty, the prompt is shell-quoted and
- * spliced into the launch line per the agent's `promptArgs` recipe.
- *
- * The agent list is the merge of xtralab's defaults with the user's
- * `xtralab:launcher` settings, then filtered by a server-side `which`
- * check so users only see agents that are actually installed. Agents with
- * `requireAvailable: false` (e.g. shell aliases) skip the filter.
- *
- * The plugin deliberately does NOT provide the `ILauncher` token: other
- * extensions register notebook/console/terminal cards on it as a side
- * effect, which would defeat the point of the agent-only launcher. If an
- * extension needs to surface itself, we'll add it here explicitly.
- */
-declare const plugin: JupyterFrontEndPlugin<void>;
-export default plugin;
+declare const plugins: JupyterFrontEndPlugin<unknown>[];
+export default plugins;

package/lib/launcher/index.js

@@ -4,16 +4,20 @@ import { ISettingRegistry } from '@jupyterlab/settingregistry';
 import { ITranslator, nullTranslator } from '@jupyterlab/translation';
 import { launcherIcon } from '@jupyterlab/ui-components';
 import { find } from '@lumino/algorithm';
+import { IAgentSessions } from '../agentSessions';
 import { mergeAgents } from './agents';
 import { fetchAvailableCommands } from './availability';
 import { CREATE_LAUNCHER_COMMAND, registerAgentCommands } from './commands';
 import { LauncherDashboard } from './dashboard';
+import { editorRegistryPlugin, IEditorRegistry } from './editorRegistry';
+import { AgentRegistry } from './registry';
+import { IAgentRegistry } from './tokens';
 const PLUGIN_ID = 'xtralab:launcher';
 /**
  * The xtralab launcher plugin. Replaces the stock JupyterLab launcher
  * (which is disabled via `package.json`'s `jupyterlab.disabledExtensions`)
  * with an agent-focused dashboard: an optional initial prompt, a row of
- * agent buttons (Claude, Codex, Gemini, …), and a collapsible list of
+ * agent buttons (Claude, Codex, Antigravity, …), and a collapsible list of
  * changed files (clickable into the diff viewer) below them. Clicking an
  * agent opens a fresh terminal and pipes the agent's command into it; if
  * the prompt textarea is non-empty, the prompt is shell-quoted and
@@ -33,23 +37,40 @@ const plugin = {
     id: PLUGIN_ID,
     description: 'An agent-focused launcher that replaces the default JupyterLab launcher.',
     autoStart: true,
-    optional: [ILabShell, ICommandPalette, ISettingRegistry, ITranslator],
-    activate: async (app, labShell, palette, settingRegistry, translator) => {
+    provides: IAgentRegistry,
+    optional: [
+        ILabShell,
+        ICommandPalette,
+        ISettingRegistry,
+        ITranslator,
+        IAgentSessions,
+        IEditorRegistry
+    ],
+    activate: async (app, labShell, palette, settingRegistry, translator, agentSessions, editorRegistry) => {
         const { commands, shell } = app;
         const trans = (translator !== null && translator !== void 0 ? translator : nullTranslator).load('jupyterlab');
-        // The currently active agent list. Updated whenever settings change so
-        // every freshly-created launcher widget renders the latest list.
-        let currentAgents = [];
+        // The shared agent registry this plugin provides on `IAgentRegistry`.
+        // It holds the active agent list (updated whenever settings change), so
+        // every freshly-created launcher widget — and any other plugin that
+        // consumes the token, e.g. the terminals panel — renders the latest list.
+        const registry = new AgentRegistry();
         // Track command registrations so a settings change can wipe them
         // before re-registering — without this the command palette would
         // accumulate stale entries when the agent list shrinks.
         let registered = null;
         const applyAgents = async (overrides) => {
             const agents = mergeAgents(overrides);
-            const filtered = await filterByAvailability(agents);
+            // Probe the server's `$PATH` so we only surface agents that are actually
+            // installed. Agents with `requireAvailable: false` opt out (their command
+            // may be a shell alias that `which` can't see) and are kept regardless.
+            const probe = Array.from(new Set(agents
+                .filter(agent => agent.requireAvailable)
+                .map(agent => agent.command)));
+            const available = await fetchAvailableCommands(probe);
+            const filtered = filterAgents(agents, available);
             registered === null || registered === void 0 ? void 0 : registered.dispose();
-            registered = registerAgentCommands(app, filtered);
-            currentAgents = filtered;
+            registered = registerAgentCommands(app, filtered, agentSessions);
+            registry.setAgents(filtered);
         };
         const readOverrides = (settings) => {
             const raw = settings.composite.agents;
@@ -81,6 +102,7 @@ const plugin = {
         commands.addCommand(CREATE_LAUNCHER_COMMAND, {
             label: trans.__('New Launcher'),
             execute: (args) => {
+                var _a;
                 const id = Private.nextId();
                 const onAgentLaunch = (item) => {
                     // When an agent command returns a Widget that ends up in the main
@@ -95,7 +117,9 @@ const plugin = {
                 };
                 const launcher = new LauncherDashboard({
                     commands,
-                    agents: currentAgents,
+                    agents: registry.agents,
+                    editor: (_a = editorRegistry === null || editorRegistry === void 0 ? void 0 : editorRegistry.current) !== null && _a !== void 0 ? _a : null,
+                    agentSessions,
                     onAgentLaunch,
                     // Empty repoPath/cwd matches the JupyterLab convention used by
                     // the git panel and the stock launcher: let the server resolve
@@ -153,25 +177,20 @@ const plugin = {
                 return commands.execute(CREATE_LAUNCHER_COMMAND, { ref });
             });
         }
+        return registry;
     }
 };
 /**
- * Drop agents whose command isn't on `$PATH`, except for entries that
- * explicitly opt out of the check via `requireAvailable: false` (typical
- * use case: shell aliases the user wants surfaced regardless).
+ * Drop agents whose command isn't on `$PATH`, except entries that opt out via
+ * `requireAvailable: false` (e.g. shell aliases the user wants surfaced
+ * regardless). `available` is the resolved set from
+ * {@link fetchAvailableCommands}.
  *
- * If the availability endpoint can't be reached we fail open and return
- * the input unchanged — better to show an unreachable agent than to hide
- * the entire launcher because the server extension didn't load.
+ * When `available` is `null` (the endpoint couldn't be reached) we fail open
+ * and return the input unchanged — better to show an unreachable agent than
+ * to hide the entire launcher because the server extension didn't load.
  */
-async function filterByAvailability(agents) {
-    const commands = agents
-        .filter(agent => agent.requireAvailable)
-        .map(agent => agent.command);
-    if (commands.length === 0) {
-        return agents;
-    }
-    const available = await fetchAvailableCommands(commands);
+function filterAgents(agents, available) {
     if (!available) {
         return agents;
     }
@@ -188,4 +207,8 @@ var Private;
     }
     Private.nextId = nextId;
 })(Private || (Private = {}));
-export default plugin;
+const plugins = [
+    plugin,
+    editorRegistryPlugin
+];
+export default plugins;

package/lib/launcher/registry.d.ts

@@ -0,0 +1,21 @@
+import { ISignal } from '@lumino/signaling';
+import type { IAgent } from './agents';
+import type { IAgentRegistry } from './tokens';
+/**
+ * The concrete {@link IAgentRegistry} the launcher plugin provides on the
+ * `IAgentRegistry` token. Holds the active agent list and re-emits `changed`
+ * whenever the launcher recomputes it (on a settings change). The launcher
+ * is the only writer, so the write side ({@link setAgents}) is kept off the
+ * shared token.
+ */
+export declare class AgentRegistry implements IAgentRegistry {
+    get agents(): IAgent[];
+    get changed(): ISignal<IAgentRegistry, void>;
+    /**
+     * Replace the agent list and notify observers. Called by the launcher
+     * after merging the user's settings and filtering by availability.
+     */
+    setAgents(agents: IAgent[]): void;
+    private _agents;
+    private _changed;
+}

package/lib/launcher/registry.js

@@ -0,0 +1,28 @@
+import { Signal } from '@lumino/signaling';
+/**
+ * The concrete {@link IAgentRegistry} the launcher plugin provides on the
+ * `IAgentRegistry` token. Holds the active agent list and re-emits `changed`
+ * whenever the launcher recomputes it (on a settings change). The launcher
+ * is the only writer, so the write side ({@link setAgents}) is kept off the
+ * shared token.
+ */
+export class AgentRegistry {
+    constructor() {
+        this._agents = [];
+        this._changed = new Signal(this);
+    }
+    get agents() {
+        return this._agents;
+    }
+    get changed() {
+        return this._changed;
+    }
+    /**
+     * Replace the agent list and notify observers. Called by the launcher
+     * after merging the user's settings and filtering by availability.
+     */
+    setAgents(agents) {
+        this._agents = agents;
+        this._changed.emit();
+    }
+}

package/lib/launcher/tokens.d.ts

@@ -0,0 +1,41 @@
+import { Token } from '@lumino/coreutils';
+import type { ISignal } from '@lumino/signaling';
+import type { IAgent } from './agents';
+/**
+ * A read-only, observable view of the launcher's available agents.
+ *
+ * The launcher plugin owns the agent list — xtralab's defaults merged with
+ * the user's `xtralab:launcher` settings, then filtered by a server-side
+ * `which` check — and registers an `xtralab:start-agent:<id>` command for
+ * each entry. This token shares that list, and (via {@link agentCommandId})
+ * the command id that launches each agent, so other plugins can surface the
+ * same agents without re-deriving the list or duplicating the icons. The
+ * terminals panel uses it to build its "new terminal" dropdown.
+ */
+export interface IAgentRegistry {
+    /**
+     * The current agents, already filtered by availability and sorted by
+     * rank — the same array the launcher renders.
+     */
+    readonly agents: IAgent[];
+    /**
+     * Emitted whenever {@link agents} changes (e.g. the user edits the
+     * launcher settings). Consumers that cache the list should re-read it
+     * here; consumers that read it on demand can ignore the signal.
+     */
+    readonly changed: ISignal<IAgentRegistry, void>;
+}
+/**
+ * DI token for {@link IAgentRegistry}. Provided by `xtralab:launcher` and
+ * consumed — optionally, so the panel still works when the launcher is
+ * disabled — by `xtralab:terminals`.
+ */
+export declare const IAgentRegistry: Token<IAgentRegistry>;
+/**
+ * The JupyterLab command id that launches a given agent in a new terminal.
+ * Defined here — in the shared contract module rather than the launcher's
+ * command-registration internals — so the launcher (which registers the
+ * commands) and any consumer (which references them, e.g. in a menu) agree
+ * on the id.
+ */
+export declare function agentCommandId(agentId: string): string;

package/lib/launcher/tokens.js

@@ -0,0 +1,17 @@
+import { Token } from '@lumino/coreutils';
+/**
+ * DI token for {@link IAgentRegistry}. Provided by `xtralab:launcher` and
+ * consumed — optionally, so the panel still works when the launcher is
+ * disabled — by `xtralab:terminals`.
+ */
+export const IAgentRegistry = new Token('xtralab:IAgentRegistry', 'A read-only, observable view of the launcher agents, shared so other plugins can offer the same agent list and icons.');
+/**
+ * The JupyterLab command id that launches a given agent in a new terminal.
+ * Defined here — in the shared contract module rather than the launcher's
+ * command-registration internals — so the launcher (which registers the
+ * commands) and any consumer (which references them, e.g. in a menu) agree
+ * on the id.
+ */
+export function agentCommandId(agentId) {
+    return `xtralab:start-agent:${agentId}`;
+}

package/lib/terminals/detection.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Ask the xtralab server which of `commands` is currently running inside each
+ * open terminal session. Resolves to a map from session name to the matched
+ * agent command, or `null` for a session sitting at its prompt.
+ *
+ * On any failure (endpoint missing on an older server, network error,
+ * malformed response) the whole result is `null` — callers should treat that
+ * as "detection unavailable" and fall back to the optimistic launch tags
+ * rather than clearing any badges.
+ */
+export declare function fetchRunningAgents(commands: string[]): Promise<Record<string, string | null> | null>;