xtralab 0.13.1 → 0.14.0

package/README.md

@@ -1,4 +1,4 @@
-![xtralab-logo](./logo.png)
+<h1><img src="./logo.svg" width="34" align="absmiddle" alt="" /> xtralab</h1>
 
 An opinionated JupyterLab meta-package for coding agents.
 

package/lib/about/icons.d.ts

@@ -0,0 +1,7 @@
+import { LabIcon } from '@jupyterlab/ui-components';
+/**
+ * The project logo mark — `logo.svg` at the repository root, the same file
+ * the README and the docs site use. The labextension build inlines it as a
+ * raw string, so the dialog always shows the current artwork.
+ */
+export declare const aboutLogoIcon: LabIcon;

package/lib/about/icons.js

@@ -0,0 +1,11 @@
+import { LabIcon } from '@jupyterlab/ui-components';
+import logoSvgstr from '../../logo.svg';
+/**
+ * The project logo mark — `logo.svg` at the repository root, the same file
+ * the README and the docs site use. The labextension build inlines it as a
+ * raw string, so the dialog always shows the current artwork.
+ */
+export const aboutLogoIcon = new LabIcon({
+    name: 'xtralab:about-logo',
+    svgstr: logoSvgstr
+});

package/lib/about/index.d.ts

@@ -0,0 +1,13 @@
+import { JupyterFrontEndPlugin } from '@jupyterlab/application';
+/**
+ * An "About xtralab" dialog replacing the stock "About JupyterLab" one.
+ *
+ * The upstream `@jupyterlab/help-extension:about` plugin is disabled via
+ * `jupyterlab.disabledExtensions` (package.json), which removes both its
+ * `help:about` command and its Help menu contribution; this plugin registers
+ * the same command id and restores the menu entry through its own schema.
+ * The dialog leads with the xtralab version and keeps the underlying
+ * JupyterLab version visible underneath.
+ */
+declare const plugin: JupyterFrontEndPlugin<void>;
+export default plugin;

package/lib/about/index.js

@@ -0,0 +1,81 @@
+import { Dialog, ICommandPalette, showDialog } from '@jupyterlab/apputils';
+import { ISettingRegistry } from '@jupyterlab/settingregistry';
+import { ITranslator, nullTranslator } from '@jupyterlab/translation';
+import * as React from 'react';
+import { aboutLogoIcon } from './icons';
+const PLUGIN_ID = 'xtralab:about';
+/**
+ * Upstream command id. Reusing it keeps the Help menu entry (contributed by
+ * `schema/about.json` at the same rank as upstream), the command palette
+ * muscle memory, and any external caller of `help:about` working.
+ */
+const CommandIDs = {
+    about: 'help:about'
+};
+const REPO_URL = 'https://github.com/jtpio/xtralab';
+/**
+ * An "About xtralab" dialog replacing the stock "About JupyterLab" one.
+ *
+ * The upstream `@jupyterlab/help-extension:about` plugin is disabled via
+ * `jupyterlab.disabledExtensions` (package.json), which removes both its
+ * `help:about` command and its Help menu contribution; this plugin registers
+ * the same command id and restores the menu entry through its own schema.
+ * The dialog leads with the xtralab version and keeps the underlying
+ * JupyterLab version visible underneath.
+ */
+const plugin = {
+    id: PLUGIN_ID,
+    description: 'Show an About dialog with the xtralab and JupyterLab versions.',
+    autoStart: true,
+    requires: [ISettingRegistry],
+    optional: [ICommandPalette, ITranslator],
+    activate: (app, settingRegistry, palette, translator) => {
+        const { commands } = app;
+        const trans = (translator !== null && translator !== void 0 ? translator : nullTranslator).load('jupyterlab');
+        commands.addCommand(CommandIDs.about, {
+            label: trans.__('About %1', 'xtralab'),
+            describedBy: {
+                args: {
+                    type: 'object',
+                    properties: {}
+                }
+            },
+            execute: async () => {
+                // The settings payload carries the version of the installed
+                // labextension (read server-side from its package.json), which is
+                // the release actually running — the page config only knows the
+                // JupyterLab version. 'N/A' is jupyterlab_server's not-found value.
+                const version = await settingRegistry
+                    .load(PLUGIN_ID)
+                    .then(settings => settings.version === 'N/A' ? '' : settings.version)
+                    .catch(() => '');
+                const title = (React.createElement("span", { className: "jp-xtralab-About-header" },
+                    React.createElement(aboutLogoIcon.react, { className: "jp-xtralab-About-logo", height: "56px", width: "56px" }),
+                    React.createElement("div", { className: "jp-xtralab-About-header-info" },
+                        React.createElement("span", { className: "jp-xtralab-About-wordmark" }, "xtralab"),
+                        version ? (React.createElement("span", { className: "jp-xtralab-About-version" }, trans.__('Version %1', version))) : null)));
+                const body = (React.createElement("div", { className: "jp-xtralab-About-body" },
+                    React.createElement("span", { className: "jp-xtralab-About-basedOn" }, trans.__('Based on JupyterLab %1', app.version)),
+                    React.createElement("span", { className: "jp-xtralab-About-externalLinks" },
+                        React.createElement("a", { href: REPO_URL, target: "_blank", rel: "noopener noreferrer" }, trans.__('xtralab on GitHub'))),
+                    React.createElement("span", { className: "jp-xtralab-About-copyright" }, trans.__('© %1 Jeremy Tuloup', 2026))));
+                return showDialog({
+                    title,
+                    body,
+                    buttons: [
+                        Dialog.cancelButton({
+                            label: trans.__('Close')
+                        })
+                    ]
+                });
+            }
+        });
+        if (palette) {
+            palette.addItem({
+                command: CommandIDs.about,
+                category: trans.__('Help')
+            });
+        }
+    }
+};
+export default plugin;

package/lib/index.js

@@ -1,3 +1,4 @@
+import aboutPlugin from './about';
 import agentSessionsPlugin from './agentSessions';
 import askAgentPlugin from './askAgent';
 import commandBarPlugin from './commandBar';
@@ -27,6 +28,7 @@ import walkthroughPlugin from './walkthrough';
  * they are spread in.
  */
 const plugins = [
+    aboutPlugin,
     agentSessionsPlugin,
     askAgentPlugin,
     commandBarPlugin,

package/lib/omnibox/index.d.ts

@@ -3,9 +3,11 @@ import { IOmnibox } from './tokens';
 /**
  * The omnibox: a single launcher overlay that fuzzy-searches workspace files
  * (via jupyterlab-quickopen's gitignore-aware endpoint) and JupyterLab
- * commands, and routes a typed prompt to one of the configured agents (running
- * it in a fresh terminal through the launcher's `xtralab:start-agent:<id>`
- * commands). It is opened by the top-bar command bar.
+ * commands (the command palette's entries plus registry commands the palette
+ * doesn't list), and routes a typed prompt to one of the configured agents
+ * (running it in a fresh terminal through the launcher's
+ * `xtralab:start-agent:<id>` commands). It is opened by the top-bar command
+ * bar.
  *
  * Commands run and files opened through the overlay are remembered (persisted
  * in the state database) and offered again at the top while the query is

package/lib/omnibox/index.js

@@ -2,7 +2,7 @@ import { ICommandPalette } from '@jupyterlab/apputils';
 import { ISettingRegistry } from '@jupyterlab/settingregistry';
 import { IStateDB } from '@jupyterlab/statedb';
 import { ITranslator, nullTranslator } from '@jupyterlab/translation';
-import { Widget } from '@lumino/widgets';
+import { CommandPalette, Widget } from '@lumino/widgets';
 import { IAgentRegistry } from '../launcher/tokens';
 import { OmniboxRecents } from './recents';
 import { IOmnibox, OMNIBOX_OPEN_COMMAND } from './tokens';
@@ -11,9 +11,11 @@ const PLUGIN_ID = 'xtralab:omnibox';
 /**
  * The omnibox: a single launcher overlay that fuzzy-searches workspace files
  * (via jupyterlab-quickopen's gitignore-aware endpoint) and JupyterLab
- * commands, and routes a typed prompt to one of the configured agents (running
- * it in a fresh terminal through the launcher's `xtralab:start-agent:<id>`
- * commands). It is opened by the top-bar command bar.
+ * commands (the command palette's entries plus registry commands the palette
+ * doesn't list), and routes a typed prompt to one of the configured agents
+ * (running it in a fresh terminal through the launcher's
+ * `xtralab:start-agent:<id>` commands). It is opened by the top-bar command
+ * bar.
  *
  * Commands run and files opened through the overlay are remembered (persisted
  * in the state database) and offered again at the top while the query is
@@ -38,6 +40,16 @@ const plugin = {
         const { commands, docRegistry } = app;
         const trans = (translator !== null && translator !== void 0 ? translator : nullTranslator).load('jupyterlab');
         const placeholder = trans.__('Search files and commands, or ask an agent…');
+        // The palette's items carry per-item args (e.g. one "Use Theme: …" per
+        // theme) that a raw command-registry scan can't see, but `ICommandPalette`
+        // exposes no item list and the widget itself is unreachable through the
+        // shell (`LabShell.add` defers it until layout restore, after which the
+        // modal setting re-parents it out of the left area). The wrapper's
+        // `_palette` field is private in TypeScript only, so read it guarded.
+        const paletteItems = () => {
+            const widget = palette === null || palette === void 0 ? void 0 : palette._palette;
+            return widget instanceof CommandPalette ? [...widget.items] : [];
+        };
         const recents = new OmniboxRecents({ state });
         // Restore the persisted recents only after the configured cap is known:
         // `restore` trims to `maxItems`, so restoring at the constructor default
@@ -77,6 +89,7 @@ const plugin = {
             close();
             const widget = new OmniboxWidget({
                 commands,
+                paletteItems: paletteItems(),
                 docRegistry,
                 agents: agentRegistry ? agentRegistry.agents : [],
                 placeholder,

package/lib/omnibox/model.d.ts

@@ -2,6 +2,7 @@ import type { DocumentRegistry } from '@jupyterlab/docregistry';
 import type { TranslationBundle } from '@jupyterlab/translation';
 import { LabIcon } from '@jupyterlab/ui-components';
 import type { CommandRegistry } from '@lumino/commands';
+import type { CommandPalette } from '@lumino/widgets';
 import type { IAgent } from '../launcher/agents';
 import type { OmniboxRecents } from './recents';
 /**
@@ -53,6 +54,11 @@ interface IOmniboxSections {
 interface IComputeOptions {
     query: string;
     commands: CommandRegistry;
+    /**
+     * The command palette's items, whose labels are computed with each item's
+     * args — the only form in which entries like "Use Theme: …" exist.
+     */
+    paletteItems: ReadonlyArray<CommandPalette.IItem>;
     docRegistry: DocumentRegistry;
     agents: IAgent[];
     files: string[];

package/lib/omnibox/model.js

@@ -51,11 +51,11 @@ export function computeSections(options) {
  * Run a command and record the use on success, so failed commands never enter
  * the recents list.
  */
-function executeCommand(commands, recents, id) {
+function executeCommand(commands, recents, id, args) {
     void commands
-        .execute(id)
+        .execute(id, args)
         .then(() => {
-        recents === null || recents === void 0 ? void 0 : recents.touch('command', id);
+        recents === null || recents === void 0 ? void 0 : recents.touch('command', id, args);
     })
         .catch(reason => {
         console.error(`xtralab omnibox: command "${id}" failed`, reason);
@@ -80,16 +80,16 @@ function openFile(commands, recents, path) {
  * accessors can assume a context — e.g. an active notebook — the omnibox
  * doesn't provide).
  */
-function commandDisplay(commands, id) {
+function commandDisplay(commands, id, args) {
     if (!commands.hasCommand(id)) {
         return null;
     }
     try {
-        const label = commands.label(id);
-        if (!label || !commands.isVisible(id)) {
+        const label = commands.label(id, args);
+        if (!label || !commands.isVisible(id, args)) {
             return null;
         }
-        return { label, caption: commands.caption(id) };
+        return { label, caption: commands.caption(id, args) };
     }
     catch (_a) {
         return null;
@@ -103,6 +103,7 @@ function commandDisplay(commands, id) {
  * unavailable — file entries are shown as recorded).
  */
 function buildRecentItems(options, mode) {
+    var _a;
     const { commands, docRegistry, files, recents } = options;
     if (!recents) {
         return [];
@@ -112,18 +113,18 @@ function buildRecentItems(options, mode) {
     const items = [];
     for (const entry of recents.entries(kind)) {
         if (entry.kind === 'command') {
-            const display = commandDisplay(commands, entry.id);
+            const display = commandDisplay(commands, entry.id, entry.args);
             if (!display) {
                 continue;
             }
             items.push({
                 kind: 'command',
-                key: `recent:command:${entry.id}`,
+                key: `recent:command:${entry.id}:${JSON.stringify((_a = entry.args) !== null && _a !== void 0 ? _a : null)}`,
                 label: display.label,
                 matchIndices: [],
                 caption: display.caption || undefined,
                 execute: () => {
-                    executeCommand(commands, recents, entry.id);
+                    executeCommand(commands, recents, entry.id, entry.args);
                 }
             });
         }
@@ -145,11 +146,65 @@ function buildRecentItems(options, mode) {
     }
     return items;
 }
+/**
+ * Match the query against the palette's items first — their labels carry each
+ * item's args (one "Use Theme: …" per theme, one row per font-size key), which
+ * a raw registry scan can never produce — then against registry commands the
+ * palette doesn't present. Palette-covered ids are skipped in the registry
+ * pass so a command never also surfaces under its argless label.
+ */
 function matchCommands(options, term) {
-    const { commands, recents } = options;
+    const { commands, paletteItems, recents } = options;
     const query = term.toLowerCase();
     const scored = [];
+    const inPalette = new Set();
+    const seenKeys = new Set();
+    for (const item of paletteItems) {
+        inPalette.add(item.command);
+        const { command: id, args } = item;
+        let label = '';
+        let visible = true;
+        let caption = '';
+        try {
+            // An item's accessors can throw if the command assumes a context (e.g.
+            // an active notebook) the omnibox doesn't provide; skip those.
+            label = item.label;
+            visible = item.isVisible;
+            caption = item.caption;
+        }
+        catch (_a) {
+            continue;
+        }
+        if (!label || !visible) {
+            continue;
+        }
+        const key = `command:${id}:${JSON.stringify(args)}`;
+        if (seenKeys.has(key)) {
+            continue;
+        }
+        seenKeys.add(key);
+        const match = StringExt.matchSumOfSquares(label.toLowerCase(), query);
+        if (!match) {
+            continue;
+        }
+        scored.push({
+            score: match.score,
+            item: {
+                kind: 'command',
+                key,
+                label,
+                matchIndices: match.indices,
+                caption: caption || undefined,
+                execute: () => {
+                    executeCommand(commands, recents, id, args);
+                }
+            }
+        });
+    }
     for (const id of commands.listCommands()) {
+        if (inPalette.has(id)) {
+            continue;
+        }
         let label = '';
         let visible = true;
         let caption = '';
@@ -160,7 +215,7 @@ function matchCommands(options, term) {
             visible = commands.isVisible(id);
             caption = commands.caption(id);
         }
-        catch (_a) {
+        catch (_b) {
             continue;
         }
         if (!label || !visible) {

package/lib/omnibox/recents.d.ts

@@ -1,4 +1,5 @@
 import type { IStateDB } from '@jupyterlab/statedb';
+import type { ReadonlyPartialJSONObject } from '@lumino/coreutils';
 /**
  * Kinds of omnibox results whose uses are recorded.
  */
@@ -12,6 +13,11 @@ interface IRecentEntry {
      * The command id, or the workspace-relative file path.
      */
     id: string;
+    /**
+     * Arguments the command ran with, for palette-style entries whose label
+     * and behavior depend on them (e.g. one "Use Theme: …" per theme).
+     */
+    args?: ReadonlyPartialJSONObject;
 }
 /**
  * A most-recently-used list of omnibox results, generic over the result kind
@@ -34,9 +40,10 @@ export declare class OmniboxRecents {
      */
     entries(kind?: RecentKind): IRecentEntry[];
     /**
-     * Record a use of `id`, moving it to the front of its kind's list.
+     * Record a use of `id` (with the args it ran with, if any), moving it to
+     * the front of its kind's list.
      */
-    touch(kind: RecentKind, id: string): void;
+    touch(kind: RecentKind, id: string, args?: ReadonlyPartialJSONObject): void;
     /**
      * Load the persisted list. Entries recorded before the load completes stay
      * at the front, ahead of the restored history.

package/lib/omnibox/recents.js

@@ -1,3 +1,11 @@
+/**
+ * Identity of an entry: two uses only match when kind, id and args all do,
+ * so runs of one command with different args stay distinct entries.
+ */
+function entryKey(entry) {
+    var _a;
+    return `${entry.kind}\0${entry.id}\0${JSON.stringify((_a = entry.args) !== null && _a !== void 0 ? _a : null)}`;
+}
 /**
  * State database key the recents list is persisted under.
  */
@@ -45,11 +53,14 @@ export class OmniboxRecents {
             : [...this._entries];
     }
     /**
-     * Record a use of `id`, moving it to the front of its kind's list.
+     * Record a use of `id` (with the args it ran with, if any), moving it to
+     * the front of its kind's list.
      */
-    touch(kind, id) {
-        const rest = this._entries.filter(entry => !(entry.kind === kind && entry.id === id));
-        this._entries = this._trim([{ kind, id }, ...rest]);
+    touch(kind, id, args) {
+        const entry = args === undefined ? { kind, id } : { kind, id, args };
+        const key = entryKey(entry);
+        const rest = this._entries.filter(existing => entryKey(existing) !== key);
+        this._entries = this._trim([entry, ...rest]);
         this._save();
     }
     /**
@@ -68,16 +79,31 @@ export class OmniboxRecents {
             return;
         }
         const persisted = Array.isArray(fetched)
-            ? fetched.filter((entry) => !!entry &&
-                typeof entry === 'object' &&
-                (entry.kind === 'command' ||
-                    entry.kind === 'file') &&
-                typeof entry.id === 'string')
+            ? fetched.filter((entry) => {
+                if (!entry || typeof entry !== 'object') {
+                    return false;
+                }
+                const candidate = entry;
+                if (candidate.kind !== 'command' && candidate.kind !== 'file') {
+                    return false;
+                }
+                if (typeof candidate.id !== 'string') {
+                    return false;
+                }
+                const args = candidate.args;
+                return (args === undefined ||
+                    (typeof args === 'object' && args !== null && !Array.isArray(args)));
+            })
             : [];
+        const known = new Set(this._entries.map(entryKey));
         const merged = [...this._entries];
         for (const entry of persisted) {
-            if (!merged.some(existing => existing.kind === entry.kind && existing.id === entry.id)) {
-                merged.push({ kind: entry.kind, id: entry.id });
+            const key = entryKey(entry);
+            if (!known.has(key)) {
+                known.add(key);
+                merged.push(entry.args === undefined
+                    ? { kind: entry.kind, id: entry.id }
+                    : { kind: entry.kind, id: entry.id, args: entry.args });
             }
         }
         this._entries = this._trim(merged);
@@ -98,10 +124,9 @@ export class OmniboxRecents {
         if (!this._state) {
             return;
         }
-        const value = this._entries.map(entry => ({
-            kind: entry.kind,
-            id: entry.id
-        }));
+        const value = this._entries.map(entry => entry.args === undefined
+            ? { kind: entry.kind, id: entry.id }
+            : { kind: entry.kind, id: entry.id, args: entry.args });
         this._state.save(STATE_KEY, value).catch(reason => {
             console.error('xtralab omnibox: failed to save recents', reason);
         });

package/lib/omnibox/widget.d.ts

@@ -2,6 +2,7 @@ import type { DocumentRegistry } from '@jupyterlab/docregistry';
 import type { TranslationBundle } from '@jupyterlab/translation';
 import { ReactWidget } from '@jupyterlab/ui-components';
 import type { CommandRegistry } from '@lumino/commands';
+import type { CommandPalette } from '@lumino/widgets';
 import type { IAgent } from '../launcher/agents';
 import type { OmniboxRecents } from './recents';
 /**
@@ -24,6 +25,11 @@ export declare namespace OmniboxWidget {
      */
     interface IOptions {
         commands: CommandRegistry;
+        /**
+         * Snapshot of the command palette's items, read once when the overlay
+         * opens; empty when the palette isn't available.
+         */
+        paletteItems: ReadonlyArray<CommandPalette.IItem>;
         docRegistry: DocumentRegistry;
         /**
          * Snapshot of the available agents, read once when the overlay opens.

package/lib/omnibox/widget.js

@@ -39,7 +39,7 @@ function renderIcon(icon) {
     return icon ? (React.createElement(icon.react, { tag: "span", className: "jp-xtralab-Omnibox-itemIcon" })) : (React.createElement("span", { className: "jp-xtralab-Omnibox-itemIcon" }));
 }
 function OmniboxComponent(props) {
-    const { commands, docRegistry, agents, placeholder, initialQuery, recents, trans, onClose } = props;
+    const { commands, paletteItems, docRegistry, agents, placeholder, initialQuery, recents, trans, onClose } = props;
     const [query, setQuery] = React.useState(initialQuery);
     const [files, setFiles] = React.useState([]);
     const [active, setActive] = React.useState(0);
@@ -63,12 +63,13 @@ function OmniboxComponent(props) {
     const sections = React.useMemo(() => computeSections({
         query,
         commands,
+        paletteItems,
         docRegistry,
         agents,
         files,
         recents,
         trans
-    }), [query, commands, docRegistry, agents, files, recents, trans]);
+    }), [query, commands, paletteItems, docRegistry, agents, files, recents, trans]);
     const flat = React.useMemo(() => [
         ...sections.recent,
         ...sections.commands,

package/logo.svg

@@ -0,0 +1,63 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="-5 -3 194 272" role="img" aria-labelledby="jp-xtralab-logo-title jp-xtralab-logo-desc">
+  <title id="jp-xtralab-logo-title">XtraLab flask icon</title>
+  <desc id="jp-xtralab-logo-desc">A clean, slightly tilted laboratory flask with a symmetrical constant-width dark frame, blue-to-pink liquid, bubbles, and rising pixel blocks.</desc>
+
+  <defs>
+    <linearGradient id="jp-xtralab-logo-liquid" x1="20" y1="154" x2="151" y2="231" gradientUnits="userSpaceOnUse">
+      <stop offset="0" stop-color="#00a6ed"/>
+      <stop offset=".29" stop-color="#0879ed"/>
+      <stop offset=".58" stop-color="#6548d2"/>
+      <stop offset=".8" stop-color="#b43baa"/>
+      <stop offset="1" stop-color="#f1357e"/>
+    </linearGradient>
+    <radialGradient id="jp-xtralab-logo-liquid-glow" cx="0" cy="0" r="1"
+                    gradientTransform="translate(49 169) rotate(34) scale(75 49)"
+                    gradientUnits="userSpaceOnUse">
+      <stop stop-color="#18b9ef" stop-opacity=".78"/>
+      <stop offset=".58" stop-color="#1688ef" stop-opacity=".2"/>
+      <stop offset="1" stop-color="#1688ef" stop-opacity="0"/>
+    </radialGradient>
+    <linearGradient id="jp-xtralab-logo-pixel-blue" x1="137" y1="13" x2="156" y2="32" gradientUnits="userSpaceOnUse">
+      <stop stop-color="#05aae9"/>
+      <stop offset="1" stop-color="#008be0"/>
+    </linearGradient>
+    <linearGradient id="jp-xtralab-logo-pixel-purple" x1="154" y1="39" x2="178" y2="61" gradientUnits="userSpaceOnUse">
+      <stop stop-color="#6242c0"/>
+      <stop offset="1" stop-color="#923ba8"/>
+    </linearGradient>
+    <linearGradient id="jp-xtralab-logo-pixel-pink" x1="166" y1="0" x2="183" y2="17" gradientUnits="userSpaceOnUse">
+      <stop stop-color="#8040bd"/>
+      <stop offset="1" stop-color="#ad3c9b"/>
+    </linearGradient>
+    <clipPath id="jp-xtralab-logo-chamber" clipPathUnits="userSpaceOnUse">
+      <path d="M64 61h36v43c0 10 2 18 8 27l42 73c5 8 5 18 0 26-5 8-13 12-23 13H37c-10-1-18-5-23-13-5-8-5-18 0-26l42-73c6-9 8-17 8-27Z"/>
+    </clipPath>
+  </defs>
+
+  <!-- The flask is constructed symmetrically around x=82, then given a slight logo-matching tilt. -->
+  <g transform="rotate(9 82 232)">
+    <g clip-path="url(#jp-xtralab-logo-chamber)">
+      <path fill="url(#jp-xtralab-logo-liquid)"
+            d="M8 207c17-25 34-52 55-60 16-6 29-2 42 5 14 8 27 8 43-4l13 65c4 18-8 35-27 37H30c-20-2-30-23-22-43Z"/>
+      <path fill="url(#jp-xtralab-logo-liquid-glow)"
+            d="M8 207c17-25 34-52 55-60 16-6 29-2 42 5 14 8 27 8 43-4l13 65c4 18-8 35-27 37H30c-20-2-30-23-22-43Z"/>
+    </g>
+
+    <!-- A straight integrated mouth joins the widened chimney without a separate rim element. -->
+    <path d="M56 55v49c0 12-2 21-8 31L9 201c-7 10-7 23-1 33s16 15 28 16h92c12-1 22-6 28-16s6-23-1-33l-39-66c-6-10-8-19-8-31V55H56Z"
+          fill="none" stroke="#07111d" stroke-width="16" stroke-linejoin="round" stroke-linecap="round"/>
+    <path d="M56 55v49c0 12-2 21-8 31L9 201c-7 10-7 23-1 33s16 15 28 16h92c12-1 22-6 28-16s6-23-1-33l-39-66c-6-10-8-19-8-31V55H56Z"
+          fill="none" stroke="#263b57" stroke-width="12" stroke-linejoin="round" stroke-linecap="round"/>
+
+    <circle cx="82" cy="80" r="4.7" fill="#009fe9" stroke="#0b1d35" stroke-width=".7"/>
+    <circle cx="82" cy="104" r="6.2" fill="#078ae9" stroke="#0b1d35" stroke-width=".7"/>
+    <circle cx="82" cy="128" r="7.2" fill="#3256d9" stroke="#0b1d35" stroke-width=".7"/>
+  </g>
+
+  <g stroke="#17233c" stroke-width=".75">
+    <rect x="116" y="22" width="13" height="13" rx="2" fill="#7342bd"/>
+    <rect x="137" y="13" width="19" height="19" rx="1.5" fill="url(#jp-xtralab-logo-pixel-blue)"/>
+    <rect x="154" y="39" width="24" height="22" rx="1.5" fill="url(#jp-xtralab-logo-pixel-purple)"/>
+    <rect x="166" y=".5" width="17" height="17" rx="1.5" fill="url(#jp-xtralab-logo-pixel-pink)"/>
+  </g>
+</svg>

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "xtralab",
-    "version": "0.13.1",
+    "version": "0.14.0",
     "description": "An opinionated JupyterLab meta-package that bundles a curated set of extensions, ships a path-first file browser, renders jupyterlab-git's text, notebook and image diffs with its own viewers, and applies a quieter default workspace configuration.",
     "keywords": [
         "jupyter",
@@ -21,7 +21,8 @@
         "lib/**/*.{d.ts,eot,gif,html,jpg,js,js.map,json,png,svg,woff2,ttf}",
         "style/**/*.{css,js,eot,gif,html,jpg,json,png,svg,woff2,ttf}",
         "src/**/*.{ts,tsx}",
-        "schema/*.json"
+        "schema/*.json",
+        "logo.svg"
     ],
     "main": "lib/index.js",
     "types": "lib/index.d.ts",
@@ -141,6 +142,7 @@
             "@jupyterlab/git:notebook-diff",
             "@jupyterlab/git:plain-text-diff",
             "@jupyterlab/git:image-diff",
+            "@jupyterlab/help-extension:about",
             "@jupyterlab/launcher-extension"
         ]
     },

package/schema/about.json

@@ -0,0 +1,24 @@
+{
+  "jupyter.lab.menus": {
+    "main": [
+      {
+        "id": "jp-mainmenu-help",
+        "items": [
+          {
+            "command": "help:about",
+            "rank": 0
+          },
+          {
+            "type": "separator",
+            "rank": 0
+          }
+        ]
+      }
+    ]
+  },
+  "title": "xtralab About",
+  "description": "The About dialog showing the running xtralab and JupyterLab versions.",
+  "type": "object",
+  "properties": {},
+  "additionalProperties": false
+}

package/src/about/icons.ts

@@ -0,0 +1,13 @@
+import { LabIcon } from '@jupyterlab/ui-components';
+
+import logoSvgstr from '../../logo.svg';
+
+/**
+ * The project logo mark — `logo.svg` at the repository root, the same file
+ * the README and the docs site use. The labextension build inlines it as a
+ * raw string, so the dialog always shows the current artwork.
+ */
+export const aboutLogoIcon = new LabIcon({
+  name: 'xtralab:about-logo',
+  svgstr: logoSvgstr
+});

package/src/about/index.tsx

@@ -0,0 +1,125 @@
+import {
+  JupyterFrontEnd,
+  JupyterFrontEndPlugin
+} from '@jupyterlab/application';
+import { Dialog, ICommandPalette, showDialog } from '@jupyterlab/apputils';
+import { ISettingRegistry } from '@jupyterlab/settingregistry';
+import { ITranslator, nullTranslator } from '@jupyterlab/translation';
+import * as React from 'react';
+
+import { aboutLogoIcon } from './icons';
+
+const PLUGIN_ID = 'xtralab:about';
+
+/**
+ * Upstream command id. Reusing it keeps the Help menu entry (contributed by
+ * `schema/about.json` at the same rank as upstream), the command palette
+ * muscle memory, and any external caller of `help:about` working.
+ */
+const CommandIDs = {
+  about: 'help:about'
+};
+
+const REPO_URL = 'https://github.com/jtpio/xtralab';
+
+/**
+ * An "About xtralab" dialog replacing the stock "About JupyterLab" one.
+ *
+ * The upstream `@jupyterlab/help-extension:about` plugin is disabled via
+ * `jupyterlab.disabledExtensions` (package.json), which removes both its
+ * `help:about` command and its Help menu contribution; this plugin registers
+ * the same command id and restores the menu entry through its own schema.
+ * The dialog leads with the xtralab version and keeps the underlying
+ * JupyterLab version visible underneath.
+ */
+const plugin: JupyterFrontEndPlugin<void> = {
+  id: PLUGIN_ID,
+  description: 'Show an About dialog with the xtralab and JupyterLab versions.',
+  autoStart: true,
+  requires: [ISettingRegistry],
+  optional: [ICommandPalette, ITranslator],
+  activate: (
+    app: JupyterFrontEnd,
+    settingRegistry: ISettingRegistry,
+    palette: ICommandPalette | null,
+    translator: ITranslator | null
+  ): void => {
+    const { commands } = app;
+    const trans = (translator ?? nullTranslator).load('jupyterlab');
+
+    commands.addCommand(CommandIDs.about, {
+      label: trans.__('About %1', 'xtralab'),
+      describedBy: {
+        args: {
+          type: 'object',
+          properties: {}
+        }
+      },
+      execute: async () => {
+        // The settings payload carries the version of the installed
+        // labextension (read server-side from its package.json), which is
+        // the release actually running — the page config only knows the
+        // JupyterLab version. 'N/A' is jupyterlab_server's not-found value.
+        const version = await settingRegistry
+          .load(PLUGIN_ID)
+          .then(settings =>
+            settings.version === 'N/A' ? '' : settings.version
+          )
+          .catch(() => '');
+
+        const title = (
+          <span className="jp-xtralab-About-header">
+            <aboutLogoIcon.react
+              className="jp-xtralab-About-logo"
+              height="56px"
+              width="56px"
+            />
+            <div className="jp-xtralab-About-header-info">
+              <span className="jp-xtralab-About-wordmark">xtralab</span>
+              {version ? (
+                <span className="jp-xtralab-About-version">
+                  {trans.__('Version %1', version)}
+                </span>
+              ) : null}
+            </div>
+          </span>
+        );
+
+        const body = (
+          <div className="jp-xtralab-About-body">
+            <span className="jp-xtralab-About-basedOn">
+              {trans.__('Based on JupyterLab %1', app.version)}
+            </span>
+            <span className="jp-xtralab-About-externalLinks">
+              <a href={REPO_URL} target="_blank" rel="noopener noreferrer">
+                {trans.__('xtralab on GitHub')}
+              </a>
+            </span>
+            <span className="jp-xtralab-About-copyright">
+              {trans.__('© %1 Jeremy Tuloup', 2026)}
+            </span>
+          </div>
+        );
+
+        return showDialog({
+          title,
+          body,
+          buttons: [
+            Dialog.cancelButton({
+              label: trans.__('Close')
+            })
+          ]
+        });
+      }
+    });
+
+    if (palette) {
+      palette.addItem({
+        command: CommandIDs.about,
+        category: trans.__('Help')
+      });
+    }
+  }
+};
+
+export default plugin;

package/src/index.ts

@@ -1,5 +1,6 @@
 import { JupyterFrontEndPlugin } from '@jupyterlab/application';
 
+import aboutPlugin from './about';
 import agentSessionsPlugin from './agentSessions';
 import askAgentPlugin from './askAgent';
 import commandBarPlugin from './commandBar';
@@ -30,6 +31,7 @@ import walkthroughPlugin from './walkthrough';
  * they are spread in.
  */
 const plugins: JupyterFrontEndPlugin<unknown>[] = [
+  aboutPlugin,
   agentSessionsPlugin,
   askAgentPlugin,
   commandBarPlugin,

package/src/omnibox/index.ts

@@ -6,7 +6,7 @@ import { ICommandPalette } from '@jupyterlab/apputils';
 import { ISettingRegistry } from '@jupyterlab/settingregistry';
 import { IStateDB } from '@jupyterlab/statedb';
 import { ITranslator, nullTranslator } from '@jupyterlab/translation';
-import { Widget } from '@lumino/widgets';
+import { CommandPalette, Widget } from '@lumino/widgets';
 
 import { IAgentRegistry } from '../launcher/tokens';
 
@@ -19,9 +19,11 @@ const PLUGIN_ID = 'xtralab:omnibox';
 /**
  * The omnibox: a single launcher overlay that fuzzy-searches workspace files
  * (via jupyterlab-quickopen's gitignore-aware endpoint) and JupyterLab
- * commands, and routes a typed prompt to one of the configured agents (running
- * it in a fresh terminal through the launcher's `xtralab:start-agent:<id>`
- * commands). It is opened by the top-bar command bar.
+ * commands (the command palette's entries plus registry commands the palette
+ * doesn't list), and routes a typed prompt to one of the configured agents
+ * (running it in a fresh terminal through the launcher's
+ * `xtralab:start-agent:<id>` commands). It is opened by the top-bar command
+ * bar.
  *
  * Commands run and files opened through the overlay are remembered (persisted
  * in the state database) and offered again at the top while the query is
@@ -55,6 +57,18 @@ const plugin: JupyterFrontEndPlugin<IOmnibox> = {
     const trans = (translator ?? nullTranslator).load('jupyterlab');
     const placeholder = trans.__('Search files and commands, or ask an agent…');
 
+    // The palette's items carry per-item args (e.g. one "Use Theme: …" per
+    // theme) that a raw command-registry scan can't see, but `ICommandPalette`
+    // exposes no item list and the widget itself is unreachable through the
+    // shell (`LabShell.add` defers it until layout restore, after which the
+    // modal setting re-parents it out of the left area). The wrapper's
+    // `_palette` field is private in TypeScript only, so read it guarded.
+    const paletteItems = (): ReadonlyArray<CommandPalette.IItem> => {
+      const widget = (palette as unknown as { _palette?: unknown } | null)
+        ?._palette;
+      return widget instanceof CommandPalette ? [...widget.items] : [];
+    };
+
     const recents = new OmniboxRecents({ state });
 
     // Restore the persisted recents only after the configured cap is known:
@@ -100,6 +114,7 @@ const plugin: JupyterFrontEndPlugin<IOmnibox> = {
       close();
       const widget = new OmniboxWidget({
         commands,
+        paletteItems: paletteItems(),
         docRegistry,
         agents: agentRegistry ? agentRegistry.agents : [],
         placeholder,

package/src/omnibox/model.ts

@@ -3,6 +3,8 @@ import type { TranslationBundle } from '@jupyterlab/translation';
 import { fileIcon, LabIcon } from '@jupyterlab/ui-components';
 import { StringExt } from '@lumino/algorithm';
 import type { CommandRegistry } from '@lumino/commands';
+import type { ReadonlyPartialJSONObject } from '@lumino/coreutils';
+import type { CommandPalette } from '@lumino/widgets';
 
 import type { IAgent } from '../launcher/agents';
 import { agentCommandId } from '../launcher/tokens';
@@ -61,6 +63,11 @@ interface IOmniboxSections {
 interface IComputeOptions {
   query: string;
   commands: CommandRegistry;
+  /**
+   * The command palette's items, whose labels are computed with each item's
+   * args — the only form in which entries like "Use Theme: …" exist.
+   */
+  paletteItems: ReadonlyArray<CommandPalette.IItem>;
   docRegistry: DocumentRegistry;
   agents: IAgent[];
   files: string[];
@@ -131,12 +138,13 @@ export function computeSections(options: IComputeOptions): IOmniboxSections {
 function executeCommand(
   commands: CommandRegistry,
   recents: OmniboxRecents | null,
-  id: string
+  id: string,
+  args?: ReadonlyPartialJSONObject
 ): void {
   void commands
-    .execute(id)
+    .execute(id, args)
     .then(() => {
-      recents?.touch('command', id);
+      recents?.touch('command', id, args);
     })
     .catch(reason => {
       console.error(`xtralab omnibox: command "${id}" failed`, reason);
@@ -169,17 +177,18 @@ function openFile(
  */
 function commandDisplay(
   commands: CommandRegistry,
-  id: string
+  id: string,
+  args?: ReadonlyPartialJSONObject
 ): { label: string; caption: string } | null {
   if (!commands.hasCommand(id)) {
     return null;
   }
   try {
-    const label = commands.label(id);
-    if (!label || !commands.isVisible(id)) {
+    const label = commands.label(id, args);
+    if (!label || !commands.isVisible(id, args)) {
       return null;
     }
-    return { label, caption: commands.caption(id) };
+    return { label, caption: commands.caption(id, args) };
   } catch {
     return null;
   }
@@ -207,18 +216,18 @@ function buildRecentItems(
   const items: IOmniboxItem[] = [];
   for (const entry of recents.entries(kind)) {
     if (entry.kind === 'command') {
-      const display = commandDisplay(commands, entry.id);
+      const display = commandDisplay(commands, entry.id, entry.args);
       if (!display) {
         continue;
       }
       items.push({
         kind: 'command',
-        key: `recent:command:${entry.id}`,
+        key: `recent:command:${entry.id}:${JSON.stringify(entry.args ?? null)}`,
         label: display.label,
         matchIndices: [],
         caption: display.caption || undefined,
         execute: () => {
-          executeCommand(commands, recents, entry.id);
+          executeCommand(commands, recents, entry.id, entry.args);
         }
       });
     } else {
@@ -240,11 +249,64 @@ function buildRecentItems(
   return items;
 }
 
+/**
+ * Match the query against the palette's items first — their labels carry each
+ * item's args (one "Use Theme: …" per theme, one row per font-size key), which
+ * a raw registry scan can never produce — then against registry commands the
+ * palette doesn't present. Palette-covered ids are skipped in the registry
+ * pass so a command never also surfaces under its argless label.
+ */
 function matchCommands(options: IComputeOptions, term: string): IOmniboxItem[] {
-  const { commands, recents } = options;
+  const { commands, paletteItems, recents } = options;
   const query = term.toLowerCase();
   const scored: Array<{ score: number; item: IOmniboxItem }> = [];
+  const inPalette = new Set<string>();
+  const seenKeys = new Set<string>();
+  for (const item of paletteItems) {
+    inPalette.add(item.command);
+    const { command: id, args } = item;
+    let label = '';
+    let visible = true;
+    let caption = '';
+    try {
+      // An item's accessors can throw if the command assumes a context (e.g.
+      // an active notebook) the omnibox doesn't provide; skip those.
+      label = item.label;
+      visible = item.isVisible;
+      caption = item.caption;
+    } catch {
+      continue;
+    }
+    if (!label || !visible) {
+      continue;
+    }
+    const key = `command:${id}:${JSON.stringify(args)}`;
+    if (seenKeys.has(key)) {
+      continue;
+    }
+    seenKeys.add(key);
+    const match = StringExt.matchSumOfSquares(label.toLowerCase(), query);
+    if (!match) {
+      continue;
+    }
+    scored.push({
+      score: match.score,
+      item: {
+        kind: 'command',
+        key,
+        label,
+        matchIndices: match.indices,
+        caption: caption || undefined,
+        execute: () => {
+          executeCommand(commands, recents, id, args);
+        }
+      }
+    });
+  }
   for (const id of commands.listCommands()) {
+    if (inPalette.has(id)) {
+      continue;
+    }
     let label = '';
     let visible = true;
     let caption = '';

package/src/omnibox/recents.ts

@@ -1,5 +1,5 @@
 import type { IStateDB } from '@jupyterlab/statedb';
-import type { PartialJSONObject } from '@lumino/coreutils';
+import type { ReadonlyPartialJSONObject } from '@lumino/coreutils';
 
 /**
  * Kinds of omnibox results whose uses are recorded.
@@ -15,6 +15,19 @@ interface IRecentEntry {
    * The command id, or the workspace-relative file path.
    */
   id: string;
+  /**
+   * Arguments the command ran with, for palette-style entries whose label
+   * and behavior depend on them (e.g. one "Use Theme: …" per theme).
+   */
+  args?: ReadonlyPartialJSONObject;
+}
+
+/**
+ * Identity of an entry: two uses only match when kind, id and args all do,
+ * so runs of one command with different args stay distinct entries.
+ */
+function entryKey(entry: IRecentEntry): string {
+  return `${entry.kind}\0${entry.id}\0${JSON.stringify(entry.args ?? null)}`;
 }
 
 /**
@@ -65,13 +78,15 @@ export class OmniboxRecents {
   }
 
   /**
-   * Record a use of `id`, moving it to the front of its kind's list.
+   * Record a use of `id` (with the args it ran with, if any), moving it to
+   * the front of its kind's list.
    */
-  touch(kind: RecentKind, id: string): void {
-    const rest = this._entries.filter(
-      entry => !(entry.kind === kind && entry.id === id)
-    );
-    this._entries = this._trim([{ kind, id }, ...rest]);
+  touch(kind: RecentKind, id: string, args?: ReadonlyPartialJSONObject): void {
+    const entry: IRecentEntry =
+      args === undefined ? { kind, id } : { kind, id, args };
+    const key = entryKey(entry);
+    const rest = this._entries.filter(existing => entryKey(existing) !== key);
+    this._entries = this._trim([entry, ...rest]);
     this._save();
   }
 
@@ -90,23 +105,35 @@ export class OmniboxRecents {
       return;
     }
     const persisted: IRecentEntry[] = Array.isArray(fetched)
-      ? fetched.filter(
-          (entry): entry is IRecentEntry =>
-            !!entry &&
-            typeof entry === 'object' &&
-            ((entry as IRecentEntry).kind === 'command' ||
-              (entry as IRecentEntry).kind === 'file') &&
-            typeof (entry as IRecentEntry).id === 'string'
-        )
+      ? fetched.filter((entry): entry is IRecentEntry => {
+          if (!entry || typeof entry !== 'object') {
+            return false;
+          }
+          const candidate = entry as IRecentEntry;
+          if (candidate.kind !== 'command' && candidate.kind !== 'file') {
+            return false;
+          }
+          if (typeof candidate.id !== 'string') {
+            return false;
+          }
+          const args: unknown = candidate.args;
+          return (
+            args === undefined ||
+            (typeof args === 'object' && args !== null && !Array.isArray(args))
+          );
+        })
       : [];
+    const known = new Set(this._entries.map(entryKey));
     const merged = [...this._entries];
     for (const entry of persisted) {
-      if (
-        !merged.some(
-          existing => existing.kind === entry.kind && existing.id === entry.id
-        )
-      ) {
-        merged.push({ kind: entry.kind, id: entry.id });
+      const key = entryKey(entry);
+      if (!known.has(key)) {
+        known.add(key);
+        merged.push(
+          entry.args === undefined
+            ? { kind: entry.kind, id: entry.id }
+            : { kind: entry.kind, id: entry.id, args: entry.args }
+        );
       }
     }
     this._entries = this._trim(merged);
@@ -128,10 +155,11 @@ export class OmniboxRecents {
     if (!this._state) {
       return;
     }
-    const value = this._entries.map<PartialJSONObject>(entry => ({
-      kind: entry.kind,
-      id: entry.id
-    }));
+    const value = this._entries.map<ReadonlyPartialJSONObject>(entry =>
+      entry.args === undefined
+        ? { kind: entry.kind, id: entry.id }
+        : { kind: entry.kind, id: entry.id, args: entry.args }
+    );
     this._state.save(STATE_KEY, value).catch(reason => {
       console.error('xtralab omnibox: failed to save recents', reason);
     });

package/src/omnibox/widget.tsx

@@ -2,6 +2,7 @@ import type { DocumentRegistry } from '@jupyterlab/docregistry';
 import type { TranslationBundle } from '@jupyterlab/translation';
 import { LabIcon, ReactWidget } from '@jupyterlab/ui-components';
 import type { CommandRegistry } from '@lumino/commands';
+import type { CommandPalette } from '@lumino/widgets';
 import * as React from 'react';
 
 import type { IAgent } from '../launcher/agents';
@@ -68,6 +69,7 @@ function renderIcon(icon?: LabIcon): React.ReactNode {
 function OmniboxComponent(props: OmniboxWidget.IOptions): JSX.Element {
   const {
     commands,
+    paletteItems,
     docRegistry,
     agents,
     placeholder,
@@ -103,13 +105,14 @@ function OmniboxComponent(props: OmniboxWidget.IOptions): JSX.Element {
       computeSections({
         query,
         commands,
+        paletteItems,
         docRegistry,
         agents,
         files,
         recents,
         trans
       }),
-    [query, commands, docRegistry, agents, files, recents, trans]
+    [query, commands, paletteItems, docRegistry, agents, files, recents, trans]
   );
   const flat = React.useMemo(
     () => [
@@ -334,6 +337,11 @@ export namespace OmniboxWidget {
    */
   export interface IOptions {
     commands: CommandRegistry;
+    /**
+     * Snapshot of the command palette's items, read once when the overlay
+     * opens; empty when the palette isn't available.
+     */
+    paletteItems: ReadonlyArray<CommandPalette.IItem>;
     docRegistry: DocumentRegistry;
     /**
      * Snapshot of the available agents, read once when the overlay opens.

package/src/svg.d.ts

@@ -0,0 +1,4 @@
+declare module '*.svg' {
+  const value: string;
+  export default value;
+}

package/style/about.css

@@ -0,0 +1,66 @@
+/*
+ * About dialog (xtralab:about). The header block is the dialog title, so it
+ * inherits the jp-Dialog-header type (size2/600 under chrome.css) — the
+ * wordmark scales up from there and the version line drops back to body
+ * size, weight and a muted color.
+ */
+
+.jp-xtralab-About-header {
+  display: flex;
+  align-items: center;
+  gap: 14px;
+}
+
+.jp-xtralab-About-logo {
+  flex-shrink: 0;
+}
+
+.jp-xtralab-About-header-info {
+  display: flex;
+  flex-direction: column;
+  align-items: flex-start;
+  gap: 2px;
+}
+
+.jp-xtralab-About-wordmark {
+  font-size: var(--jp-ui-font-size3);
+  font-weight: 700;
+  letter-spacing: -0.01em;
+  line-height: 1.2;
+}
+
+.jp-xtralab-About-version {
+  font-size: var(--jp-ui-font-size1);
+  font-weight: 400;
+  color: var(--jp-ui-font-color2);
+}
+
+.jp-xtralab-About-body {
+  display: flex;
+  flex-direction: column;
+  min-width: 360px;
+  font-size: var(--jp-ui-font-size1);
+  color: var(--jp-ui-font-color1);
+}
+
+.jp-xtralab-About-basedOn {
+  color: var(--jp-ui-font-color2);
+}
+
+.jp-xtralab-About-externalLinks {
+  padding-top: 12px;
+}
+
+.jp-xtralab-About-externalLinks > a {
+  color: var(--jp-content-link-color);
+  text-decoration: none;
+}
+
+.jp-xtralab-About-externalLinks > a:hover {
+  text-decoration: underline;
+}
+
+.jp-xtralab-About-copyright {
+  padding-top: 12px;
+  color: var(--jp-ui-font-color3);
+}

package/style/index.css

@@ -1,4 +1,5 @@
 @import url('base.css');
+@import url('about.css');
 @import url('askAgent.css');
 @import url('chrome.css');
 @import url('commandBar.css');

package/style/index.js

@@ -1,4 +1,5 @@
 import './base.css';
+import './about.css';
 import './askAgent.css';
 import './chrome.css';
 import './commandBar.css';