xtralab 0.11.0 → 0.12.0

package/lib/askAgent/tokens.d.ts

@@ -0,0 +1,124 @@
+import { Token } from '@lumino/coreutils';
+/**
+ * The command id that opens the ask-agent popup for the current text-editor
+ * selection. Registered by `xtralab:ask-agent`; exposed here so menus and
+ * other plugins can reference it without importing the plugin internals.
+ */
+export declare const ASK_AGENT_COMMAND = "xtralab:ask-agent";
+/**
+ * A code location (and optionally the selected source text) that a prompt
+ * should point an agent at. The structured fields are composed into the
+ * final prompt by the ask-agent plugin so every entry point — editor
+ * selection, diff line selection — produces consistently worded prompts.
+ */
+export interface IAskAgentContext {
+    /**
+     * Path of the file the selection belongs to, relative to {@link cwd} (or
+     * to the server root when no cwd is given) so the launched agent can open
+     * it directly.
+     */
+    path: string;
+    /**
+     * Server-relative directory the agent's terminal starts in. Omit to start
+     * in the server root. Diff selections pass the git repository root here so
+     * the agent can run git commands right away.
+     */
+    cwd?: string;
+    /**
+     * The notebook cell the selection lives in, when {@link path} is a
+     * notebook. `index` is the cell's 0-based position in the nbformat
+     * `cells` array; `type` is the nbformat cell type (`code`, `markdown`,
+     * `raw`). When set, {@link startLine}/{@link endLine} count within the
+     * cell's source rather than within a file.
+     */
+    cell?: {
+        index: number;
+        type: string;
+    };
+    /**
+     * First selected line, 1-indexed and inclusive. Omit when no line range is
+     * known (the prompt then only references the file).
+     */
+    startLine?: number;
+    /**
+     * Last selected line, 1-indexed and inclusive. Defaults to
+     * {@link startLine} when omitted.
+     */
+    endLine?: number;
+    /**
+     * Whether {@link startLine}/{@link endLine} index the file's current
+     * working-tree content. `false` for diff selections taken from another
+     * revision (the old side, or a challenger that is not the working tree),
+     * whose numbers must not be used to highlight the working file. Omitted
+     * means `true`.
+     */
+    linesInWorkingFile?: boolean;
+    /**
+     * The selected source text. May be empty when only a location is known;
+     * the prompt then relies on the path and line range alone.
+     */
+    text: string;
+    /**
+     * Extra agent-facing locator appended after the line range in the prompt,
+     * e.g. `the old side (INDEX) of the git diff`. Written in English because
+     * it is consumed by the agent, not shown in the UI.
+     */
+    location?: string;
+    /**
+     * Short user-facing tag shown in the popup header next to the file name,
+     * e.g. "old version". Translated, unlike {@link location}. Omit when the
+     * range reads naturally as the file's current content.
+     */
+    note?: string;
+}
+/**
+ * Where a submitted prompt goes: a fresh terminal started with the chosen
+ * agent's command, or an existing terminal session whose running agent
+ * receives the prompt in its input box (queued by the agent itself when it
+ * is busy).
+ */
+export type AskAgentTarget = {
+    kind: 'new';
+    agentId: string;
+} | {
+    kind: 'session';
+    name: string;
+};
+/**
+ * A request to open the ask-agent popup: what code to prompt about and
+ * where to place the popup on screen.
+ */
+export interface IAskAgentRequest {
+    /**
+     * The code location and selection the prompt is about.
+     */
+    context: IAskAgentContext;
+    /**
+     * Viewport rectangle the popup anchors to (typically the selection end or
+     * the button that was clicked). `null` positions the popup near the top
+     * center of the viewport.
+     */
+    anchor: DOMRect | null;
+}
+/**
+ * The ask-agent popup: a small floating prompt box that sends the given
+ * code selection, plus the user's typed instruction, to one of the
+ * configured coding agents — in a fresh terminal, or into an agent already
+ * running in an existing one.
+ */
+export interface IAskAgent {
+    /**
+     * Open the popup for `request`, replacing any popup already open.
+     */
+    open(request: IAskAgentRequest): void;
+    /**
+     * Close the popup if it is open.
+     */
+    close(): void;
+}
+/**
+ * DI token for {@link IAskAgent}. Provided by `xtralab:ask-agent` and
+ * consumed — optionally, so diffs still render when the plugin is disabled —
+ * by the git diff plugins to offer "ask an agent about these lines".
+ */
+export declare const IAskAgent: Token<IAskAgent>;

package/lib/askAgent/tokens.js

@@ -0,0 +1,13 @@
+import { Token } from '@lumino/coreutils';
+/**
+ * The command id that opens the ask-agent popup for the current text-editor
+ * selection. Registered by `xtralab:ask-agent`; exposed here so menus and
+ * other plugins can reference it without importing the plugin internals.
+ */
+export const ASK_AGENT_COMMAND = 'xtralab:ask-agent';
+/**
+ * DI token for {@link IAskAgent}. Provided by `xtralab:ask-agent` and
+ * consumed — optionally, so diffs still render when the plugin is disabled —
+ * by the git diff plugins to offer "ask an agent about these lines".
+ */
+export const IAskAgent = new Token('xtralab:IAskAgent', 'A floating prompt box that sends the current code selection to a coding agent running in a terminal.');

package/lib/commandBar/index.d.ts

@@ -1,14 +1,18 @@
 import { JupyterFrontEndPlugin } from '@jupyterlab/application';
 /**
- * Add a centered, search-bar-styled command bar to the top area. Clicking it
- * opens the omnibox — a launcher overlay that fuzzy-searches files and
- * commands and routes a typed prompt to an agent (the leading sidebar toggle
- * and the menu bar sit to its left, the trailing sidebar toggle to its right;
- * the bar is centered over the whole panel as an overlay, so it stays put
- * regardless of their widths).
+ * Contribute a search-bar-styled command bar to JupyterLab's top bar toolbar.
+ * Clicking it opens the omnibox — a launcher overlay that fuzzy-searches files
+ * and commands and routes a typed prompt to an agent.
  *
- * The bar is only added when the omnibox is available — the `IOmnibox` token
- * is provided by `xtralab:omnibox` — so it never appears with nothing to open.
+ * The pill is a regular settings-driven toolbar item: this plugin registers a
+ * widget factory for it on the `IToolbarWidgetRegistry` and declares its rank
+ * in schema/command-bar.json, so users can move or disable it from the Top
+ * Bar settings like any other toolbar item.
+ *
+ * The factory is only registered when the omnibox is available — the
+ * `IOmnibox` token is provided by `xtralab:omnibox` — so the pill never
+ * appears with nothing to open (without a factory, the toolbar item resolves
+ * to an empty command button that renders nothing).
  */
 declare const plugin: JupyterFrontEndPlugin<void>;
 export default plugin;

package/lib/commandBar/index.js

@@ -1,4 +1,4 @@
-import { ILabShell } from '@jupyterlab/application';
+import { IToolbarWidgetRegistry } from '@jupyterlab/apputils';
 import { ITranslator, nullTranslator } from '@jupyterlab/translation';
 import { searchIcon } from '@jupyterlab/ui-components';
 import { CommandRegistry } from '@lumino/commands';
@@ -6,15 +6,22 @@ import { Widget } from '@lumino/widgets';
 import { IOmnibox, OMNIBOX_OPEN_COMMAND } from '../omnibox/tokens';
 const PLUGIN_ID = 'xtralab:command-bar';
 /**
- * A search-bar-styled launcher for the `top` area. It holds no text input of
- * its own: clicking the pill (or pressing Enter/Space while it is focused)
- * runs `onActivate`, which opens the omnibox.
- *
- * The widget's root is a transparent, full-height wrapper centered as an
- * overlay over the whole top panel (style/commandBar.css). The wrapper
- * ignores pointer events so only the inner pill is clickable and the empty
- * strips above and below it let clicks fall through to whatever sits beneath
- * the overlay, such as the menu bar.
+ * Factory name of JupyterLab's settings-driven top bar toolbar (`#jp-top-bar`,
+ * built by `@jupyterlab/application-extension:top-bar`).
+ */
+const TOPBAR_FACTORY = 'TopBar';
+/**
+ * Name of the pill item within that toolbar. Its placement is declared under
+ * `jupyter.lab.toolbars` in this plugin's settings schema
+ * (schema/command-bar.json): the core toolbar ships a spacer at rank 50, so
+ * the pill's higher rank lands it at the trailing end of the toolbar, next to
+ * the right-sidebar toggle button.
+ */
+const ITEM_NAME = 'omnibox';
+/**
+ * A search-bar-styled launcher pill. It holds no text input of its own:
+ * clicking it (or pressing Enter/Space while it is focused) runs `onActivate`,
+ * which opens the omnibox.
  */
 class CommandBar extends Widget {
     constructor(options) {
@@ -30,9 +37,9 @@ class CommandBar extends Widget {
         }
     }
     onAfterAttach() {
-        // The pill restores `pointer-events: auto`, so the click bubbles from it
-        // up to the root node listened on here; keyboard Enter/Space on the
-        // focused button raises the same synthetic click.
+        // The click bubbles from the inner pill button up to the root node
+        // listened on here; keyboard Enter/Space on the focused button raises the
+        // same synthetic click.
         this.node.addEventListener('click', this);
     }
     onBeforeDetach() {
@@ -41,6 +48,10 @@ class CommandBar extends Widget {
 }
 (function (CommandBar) {
     function createNode(label, caption, shortcut) {
+        // The root is a plain wrapper: as a toolbar item it receives the core
+        // `.jp-Toolbar > .jp-Toolbar-item` sizing (full height, centered flex),
+        // which would otherwise stretch the pill itself; the button inside keeps
+        // its own compact pill height.
         const wrapper = document.createElement('div');
         const button = document.createElement('button');
         button.type = 'button';
@@ -70,45 +81,51 @@ class CommandBar extends Widget {
     CommandBar.createNode = createNode;
 })(CommandBar || (CommandBar = {}));
 /**
- * Add a centered, search-bar-styled command bar to the top area. Clicking it
- * opens the omnibox — a launcher overlay that fuzzy-searches files and
- * commands and routes a typed prompt to an agent (the leading sidebar toggle
- * and the menu bar sit to its left, the trailing sidebar toggle to its right;
- * the bar is centered over the whole panel as an overlay, so it stays put
- * regardless of their widths).
+ * Contribute a search-bar-styled command bar to JupyterLab's top bar toolbar.
+ * Clicking it opens the omnibox — a launcher overlay that fuzzy-searches files
+ * and commands and routes a typed prompt to an agent.
+ *
+ * The pill is a regular settings-driven toolbar item: this plugin registers a
+ * widget factory for it on the `IToolbarWidgetRegistry` and declares its rank
+ * in schema/command-bar.json, so users can move or disable it from the Top
+ * Bar settings like any other toolbar item.
  *
- * The bar is only added when the omnibox is available — the `IOmnibox` token
- * is provided by `xtralab:omnibox` — so it never appears with nothing to open.
+ * The factory is only registered when the omnibox is available — the
+ * `IOmnibox` token is provided by `xtralab:omnibox` — so the pill never
+ * appears with nothing to open (without a factory, the toolbar item resolves
+ * to an empty command button that renders nothing).
  */
 const plugin = {
     id: PLUGIN_ID,
-    description: 'Add a centered command bar to the top area that opens the omnibox.',
+    description: 'Add a command bar to the top bar toolbar that opens the omnibox.',
     autoStart: true,
-    requires: [ILabShell],
+    requires: [IToolbarWidgetRegistry],
     optional: [IOmnibox, ITranslator],
-    activate: (app, labShell, omnibox, translator) => {
+    activate: (app, toolbarRegistry, omnibox, translator) => {
         if (!omnibox) {
             return;
         }
         const trans = (translator !== null && translator !== void 0 ? translator : nullTranslator).load('jupyterlab');
-        // Show the omnibox's keyboard shortcut as a hint in the pill, derived from
-        // the live binding (registered by xtralab:omnibox, which activates first as
-        // the IOmnibox provider) so it stays correct and uses the platform's
-        // modifier symbols. Empty when no binding is registered.
-        const binding = app.commands.keyBindings.find(keyBinding => keyBinding.command === OMNIBOX_OPEN_COMMAND);
-        const shortcut = binding
-            ? CommandRegistry.formatKeystroke(binding.keys)
-            : '';
-        const widget = new CommandBar({
-            label: trans.__('Search…'),
-            caption: trans.__('Search files and commands, or ask an agent'),
-            shortcut,
-            onActivate: () => {
-                omnibox.open();
-            }
+        toolbarRegistry.addFactory(TOPBAR_FACTORY, ITEM_NAME, () => {
+            // Show the omnibox's keyboard shortcut as a hint in the pill, derived
+            // from the live binding (registered by xtralab:omnibox, which activates
+            // first as the IOmnibox provider) so it stays correct and uses the
+            // platform's modifier symbols. Empty when no binding is registered.
+            const binding = app.commands.keyBindings.find(keyBinding => keyBinding.command === OMNIBOX_OPEN_COMMAND);
+            const shortcut = binding
+                ? CommandRegistry.formatKeystroke(binding.keys)
+                : '';
+            const widget = new CommandBar({
+                label: trans.__('Search…'),
+                caption: trans.__('Search files and commands, or ask an agent'),
+                shortcut,
+                onActivate: () => {
+                    omnibox.open();
+                }
+            });
+            widget.id = 'xtralab-command-bar';
+            return widget;
         });
-        widget.id = 'xtralab-command-bar';
-        labShell.add(widget, 'top', { rank: 500 });
     }
 };
 export default plugin;

package/lib/editorBreadcrumbs/index.js

@@ -1,16 +1,19 @@
+import { ITranslator, nullTranslator } from '@jupyterlab/translation';
 import { DisposableDelegate } from '@lumino/disposable';
 import { EditorBreadcrumbs } from './widget';
 const PLUGIN_ID = 'xtralab:editor-breadcrumbs';
 const EDITOR_FACTORY = 'Editor';
 const TOOLBAR_ITEM_NAME = 'xtralab-editor-breadcrumbs';
 class EditorBreadcrumbsExtension {
-    constructor(commands) {
+    constructor(commands, trans) {
         this._commands = commands;
+        this._trans = trans;
     }
     createNew(widget, context) {
         const breadcrumbs = new EditorBreadcrumbs({
             context,
-            commands: this._commands
+            commands: this._commands,
+            trans: this._trans
         });
         const added = widget.toolbar.insertItem(0, TOOLBAR_ITEM_NAME, breadcrumbs);
         if (!added) {
@@ -34,8 +37,10 @@ const plugin = {
     id: PLUGIN_ID,
     description: 'Display the active file path in text editor toolbars.',
     autoStart: true,
-    activate: (app) => {
-        app.docRegistry.addWidgetExtension(EDITOR_FACTORY, new EditorBreadcrumbsExtension(app.commands));
+    optional: [ITranslator],
+    activate: (app, translator) => {
+        const trans = (translator !== null && translator !== void 0 ? translator : nullTranslator).load('jupyterlab');
+        app.docRegistry.addWidgetExtension(EDITOR_FACTORY, new EditorBreadcrumbsExtension(app.commands, trans));
     }
 };
 export default plugin;

package/lib/editorBreadcrumbs/widget.d.ts

@@ -1,17 +1,15 @@
 import type { DocumentRegistry } from '@jupyterlab/docregistry';
+import type { TranslationBundle } from '@jupyterlab/translation';
 import type { CommandRegistry } from '@lumino/commands';
 import { Widget } from '@lumino/widgets';
-export interface IEditorBreadcrumbsOptions {
+interface IEditorBreadcrumbsOptions {
     context: DocumentRegistry.IContext<DocumentRegistry.IModel>;
     commands: CommandRegistry;
+    trans: TranslationBundle;
 }
 /**
- * Read-only breadcrumb path for file editor toolbars.
- *
- * The upstream `@jupyterlab/filebrowser` BreadCrumbs widget is coupled to
- * FileBrowserModel navigation, drag/drop, and path editing. If that code
- * becomes reusable upstream, replace this local display-only renderer with
- * the shared implementation.
+ * Read-only breadcrumb path for file editor toolbars: renders the open
+ * file's path as clickable segments, each dispatching the reveal command.
  */
 export declare class EditorBreadcrumbs extends Widget {
     constructor(options: IEditorBreadcrumbsOptions);
@@ -29,6 +27,8 @@ export declare class EditorBreadcrumbs extends Widget {
     private _createSeparator;
     private _context;
     private _commands;
+    private _trans;
     private _container;
     private _content;
 }
+export {};

package/lib/editorBreadcrumbs/widget.js

@@ -15,20 +15,17 @@ const SEPARATOR_CLASS = 'jp-BreadCrumbs-separator';
  */
 const REVEAL_COMMAND = 'xtralab:reveal-path';
 /**
- * Read-only breadcrumb path for file editor toolbars.
- *
- * The upstream `@jupyterlab/filebrowser` BreadCrumbs widget is coupled to
- * FileBrowserModel navigation, drag/drop, and path editing. If that code
- * becomes reusable upstream, replace this local display-only renderer with
- * the shared implementation.
+ * Read-only breadcrumb path for file editor toolbars: renders the open
+ * file's path as clickable segments, each dispatching the reveal command.
  */
 export class EditorBreadcrumbs extends Widget {
     constructor(options) {
         super({ node: document.createElement('nav') });
         this._context = options.context;
         this._commands = options.commands;
+        this._trans = options.trans;
         this.addClass(EDITOR_BREADCRUMBS_CLASS);
-        this.node.setAttribute('aria-label', 'Editor file path');
+        this.node.setAttribute('aria-label', this._trans.__('Editor file path'));
         this._container = document.createElement('span');
         this._container.className = BREADCRUMBS_CONTAINER_CLASS;
         this._content = document.createElement('span');
@@ -85,7 +82,8 @@ export class EditorBreadcrumbs extends Widget {
         const item = rootIcon.element({
             className: ROOT_CLASS,
             tag: 'span',
-            title: PageConfig.getOption('serverRoot') || 'Jupyter Server Root',
+            title: PageConfig.getOption('serverRoot') ||
+                this._trans.__('Jupyter Server Root'),
             stylesheet: 'breadCrumb'
         });
         item.dataset.path = '/';

package/lib/fileBrowser/commands.d.ts

@@ -25,14 +25,7 @@ export declare namespace CommandIDs {
     const revealPath = "xtralab:reveal-path";
     const revealInFileTree = "xtralab:reveal-in-file-tree";
 }
-/**
- * Submenu id used to host the dynamically populated "Open With" entries.
- * Distinct from the core file browser's `jp-contextmenu-open-with` so the
- * core's populator does not try to fill ours with items derived from the
- * default file browser's selection.
- */
-export declare const OPEN_WITH_SUBMENU_ID = "jp-contextmenu-xtralab-open-with";
-export interface IRegisterCommandsOptions {
+interface IRegisterCommandsOptions {
     app: JupyterFrontEnd;
     browser: IXtralabFileBrowser;
     docManager: IDocumentManager;
@@ -70,3 +63,4 @@ export declare function populateToolbar(opts: {
     app: JupyterFrontEnd;
     browser: IXtralabFileBrowser;
 }): void;
+export {};

package/lib/fileBrowser/commands.js

@@ -33,7 +33,7 @@ export var CommandIDs;
  * core's populator does not try to fill ours with items derived from the
  * default file browser's selection.
  */
-export const OPEN_WITH_SUBMENU_ID = 'jp-contextmenu-xtralab-open-with';
+const OPEN_WITH_SUBMENU_ID = 'jp-contextmenu-xtralab-open-with';
 /**
  * Resolve the path of the item the user right-clicked. We prefer the
  * contextmenu event's target — that is how `app.contextMenu` resolves which
@@ -82,7 +82,9 @@ function getOpenPaths(app, browser) {
     }
     return candidates.filter(path => !path.endsWith('/'));
 }
-/** True iff there is an actionable target for a command on the right-click. */
+/**
+ * True iff there is an actionable target for a command on the right-click.
+ */
 function hasTarget(app, browser) {
     return getTargetPath(app, browser) !== undefined;
 }
@@ -193,7 +195,10 @@ export function registerCommands(opts) {
     const { commands } = app;
     const trans = (translator !== null && translator !== void 0 ? translator : nullTranslator).load('jupyterlab');
     commands.addCommand(CommandIDs.open, {
-        label: args => { var _a, _b; return ((_b = (_a = args.label) !== null && _a !== void 0 ? _a : args.factory) !== null && _b !== void 0 ? _b : 'Open'); },
+        label: args => {
+            var _a, _b;
+            return ((_b = (_a = args.label) !== null && _a !== void 0 ? _a : args.factory) !== null && _b !== void 0 ? _b : trans.__('Open'));
+        },
         icon: args => {
             var _a;
             const factoryName = args.factory;
@@ -219,7 +224,7 @@ export function registerCommands(opts) {
         }
     });
     commands.addCommand(CommandIDs.openBrowserTab, {
-        label: 'Open in New Browser Tab',
+        label: trans.__('Open in New Browser Tab'),
         icon: fileIcon.bindprops({ stylesheet: 'menuItem' }),
         isEnabled: () => getTargetKind(app) === 'file',
         isVisible: () => getTargetKind(app) === 'file',
@@ -234,7 +239,7 @@ export function registerCommands(opts) {
         }
     });
     commands.addCommand(CommandIDs.rename, {
-        label: 'Rename…',
+        label: trans.__('Rename…'),
         icon: editIcon.bindprops({ stylesheet: 'menuItem' }),
         mnemonic: 0,
         isEnabled: () => hasTarget(app, browser),
@@ -247,10 +252,10 @@ export function registerCommands(opts) {
             const serverPath = toServerPath(targetPath);
             const oldName = PathExt.basename(serverPath);
             const result = await InputDialog.getText({
-                title: 'Rename',
-                label: 'Enter a new name',
+                title: trans.__('Rename'),
+                label: trans.__('Enter a new name'),
                 text: oldName,
-                okLabel: 'Rename'
+                okLabel: trans.__('Rename')
             });
             const newName = (_a = result.value) === null || _a === void 0 ? void 0 : _a.trim();
             if (result.button.accept !== true ||
@@ -265,14 +270,14 @@ export function registerCommands(opts) {
                 browser.refresh();
             }
             catch (err) {
-                await showErrorMessage('Rename failed', err);
+                await showErrorMessage(trans.__('Rename failed'), err);
             }
         }
     });
     commands.addCommand(CommandIDs.del, {
         label: () => PageConfig.getOption('delete_to_trash') === 'true'
-            ? 'Move to Trash'
-            : 'Delete',
+            ? trans.__('Move to Trash')
+            : trans.__('Delete'),
         icon: closeIcon.bindprops({ stylesheet: 'menuItem' }),
         mnemonic: 0,
         isEnabled: () => hasTarget(app, browser),
@@ -284,11 +289,15 @@ export function registerCommands(opts) {
             const serverPath = toServerPath(targetPath);
             const trashing = PageConfig.getOption('delete_to_trash') === 'true';
             const result = await showDialog({
-                title: trashing ? 'Move to Trash' : 'Delete',
-                body: `Are you sure you want to permanently delete: ${serverPath}?`,
+                title: trashing ? trans.__('Move to Trash') : trans.__('Delete'),
+                body: trashing
+                    ? trans.__('Are you sure you want to move to trash: %1?', serverPath)
+                    : trans.__('Are you sure you want to permanently delete: %1?', serverPath),
                 buttons: [
                     Dialog.cancelButton(),
-                    Dialog.warnButton({ label: trashing ? 'Move to Trash' : 'Delete' })
+                    Dialog.warnButton({
+                        label: trashing ? trans.__('Move to Trash') : trans.__('Delete')
+                    })
                 ]
             });
             if (result.button.accept !== true) {
@@ -299,12 +308,12 @@ export function registerCommands(opts) {
                 browser.refresh();
             }
             catch (err) {
-                await showErrorMessage('Delete failed', err);
+                await showErrorMessage(trans.__('Delete failed'), err);
             }
         }
     });
     commands.addCommand(CommandIDs.duplicate, {
-        label: 'Duplicate',
+        label: trans.__('Duplicate'),
         icon: copyIcon.bindprops({ stylesheet: 'menuItem' }),
         isEnabled: () => getTargetKind(app) === 'file',
         isVisible: () => getTargetKind(app) === 'file',
@@ -320,12 +329,12 @@ export function registerCommands(opts) {
                 browser.notifyPathAdded(toCanonicalPath(created));
             }
             catch (err) {
-                await showErrorMessage('Duplicate failed', err);
+                await showErrorMessage(trans.__('Duplicate failed'), err);
             }
         }
     });
     commands.addCommand(CommandIDs.copyPath, {
-        label: 'Copy Path',
+        label: trans.__('Copy Path'),
         icon: fileIcon.bindprops({ stylesheet: 'menuItem' }),
         isEnabled: () => hasTarget(app, browser),
         execute: async () => {
@@ -344,7 +353,7 @@ export function registerCommands(opts) {
         }
     });
     commands.addCommand(CommandIDs.download, {
-        label: 'Download',
+        label: trans.__('Download'),
         icon: downloadIcon.bindprops({ stylesheet: 'menuItem' }),
         isEnabled: () => getTargetKind(app) === 'file',
         isVisible: () => getTargetKind(app) === 'file',
@@ -364,21 +373,21 @@ export function registerCommands(opts) {
                 document.body.removeChild(anchor);
             }
             catch (err) {
-                await showErrorMessage('Download failed', err);
+                await showErrorMessage(trans.__('Download failed'), err);
             }
         }
     });
     commands.addCommand(CommandIDs.refresh, {
-        label: 'Refresh File List',
-        caption: 'Refresh the file browser',
+        label: trans.__('Refresh File List'),
+        caption: trans.__('Refresh the file browser'),
         icon: refreshIcon.bindprops({ stylesheet: 'menuItem' }),
         execute: () => {
             browser.refresh();
         }
     });
     commands.addCommand(CommandIDs.collapseAll, {
-        label: 'Collapse All Folders',
-        caption: 'Collapse all folders in the file browser',
+        label: trans.__('Collapse All Folders'),
+        caption: trans.__('Collapse all folders in the file browser'),
         icon: collapseAllIcon.bindprops({ stylesheet: 'menuItem' }),
         execute: () => {
             browser.collapseAll();
@@ -393,7 +402,7 @@ export function registerCommands(opts) {
     // there is no tree row for the root itself, so the browser is asked
     // to scroll back to the top and clear its selection instead.
     commands.addCommand(CommandIDs.revealPath, {
-        label: 'Reveal in File Browser',
+        label: trans.__('Reveal in File Browser'),
         execute: (args) => {
             var _a;
             const path = (_a = args.path) !== null && _a !== void 0 ? _a : '';
@@ -422,8 +431,8 @@ export function registerCommands(opts) {
         }
     });
     commands.addCommand(CommandIDs.createNewDirectory, {
-        label: 'New Folder',
-        caption: 'Create a new folder',
+        label: trans.__('New Folder'),
+        caption: trans.__('Create a new folder'),
         icon: newFolderIcon.bindprops({ stylesheet: 'menuItem' }),
         execute: async () => {
             const cwd = getWorkingDirectory(browser);
@@ -435,13 +444,13 @@ export function registerCommands(opts) {
                 browser.notifyPathAdded(toCanonicalPath(created));
             }
             catch (err) {
-                await showErrorMessage('Could not create folder', err);
+                await showErrorMessage(trans.__('Could not create folder'), err);
             }
         }
     });
     commands.addCommand(CommandIDs.newLauncher, {
-        label: 'New Launcher',
-        caption: 'Open a new launcher',
+        label: trans.__('New Launcher'),
+        caption: trans.__('Open a new launcher'),
         // Skip the `menuItem` bindprops the other commands use: this command
         // lives on the toolbar, where the launcher-extension's blue button
         // styling expects the raw `jp-icon3` paths from `addIcon` so it can

package/lib/fileBrowser/contents.d.ts

@@ -15,10 +15,14 @@ export declare function toCanonicalPath(child: Contents.IModel): string;
  * paths so the value can be sent to the Jupyter contents API.
  */
 export declare function toServerPath(canonicalPath: string): string;
-export interface IListedDirectory {
-    /** Canonical paths for every immediate child of the requested directory. */
+interface IListedDirectory {
+    /**
+     * Canonical paths for every immediate child of the requested directory.
+     */
     paths: string[];
-    /** Subset of {@link IListedDirectory.paths} that are directories. */
+    /**
+     * Subset of {@link IListedDirectory.paths} that are directories.
+     */
     subdirectories: string[];
 }
 /**
@@ -26,3 +30,4 @@ export interface IListedDirectory {
  * and return them as canonical `@pierre/trees` paths.
  */
 export declare function listDirectory(manager: Contents.IManager, serverPath: string): Promise<IListedDirectory>;
+export {};