jupyterlab-topbar-text/lib/index.js

JupyterLab extension to display arbitrary text in the top bar

import { Dialog, ICommandPalette, showDialog, IToolbarWidgetRegistry, } from '@jupyterlab/apputils';
import { PathExt } from '@jupyterlab/coreutils';
import { ISettingRegistry } from '@jupyterlab/settingregistry';
import { Widget } from '@lumino/widgets';
import '../style/index.css';
const topbarTextPluginId = 'jupyterlab-topbar-text:plugin';
const TOPBAR_TEXT = 'jp-TopBar-Text';
var CommandIDs;
(function (CommandIDs) {
    /**
     * Edit TopBar Text
     */
    CommandIDs.editText = 'topbar-text:edit-text';
})(CommandIDs || (CommandIDs = {}));
const extension = {
    id: topbarTextPluginId,
    autoStart: true,
    requires: [ICommandPalette, ISettingRegistry, IToolbarWidgetRegistry],
    activate: async (app, palette, settingsRegistry, toolbarRegistry) => {
        console.log('jupyterlab-topbar-text extension is activated!');
        const settings = await settingsRegistry.load(extension.id);
        let text = settings.get('text').composite;
        let editable = settings.get('editable').composite;
        const textNode = document.createElement('div');
        textNode.textContent = text;
        toolbarRegistry.addFactory('TopBar', 'text', () => {
            const textWidget = new Widget({ node: textNode });
            textWidget.addClass(TOPBAR_TEXT);
            return textWidget;
        });
        function showUpdateTextDialog() {
            const oldText = settings.get('text').composite;
            showDialog({
                title: 'Edit Top Bar Text',
                body: new EditHandler(oldText),
                buttons: [Dialog.cancelButton(), Dialog.okButton({ label: 'Save' })],
            }).then((result) => {
                if (!result.button.accept) {
                    return;
                }
                const text = result.value;
                if (text === null) {
                    return;
                }
                settingsRegistry.set(extension.id, 'text', text);
                textNode.textContent = text;
            });
        }
        app.contextMenu.addItem({
            command: CommandIDs.editText,
            selector: `.${TOPBAR_TEXT}`,
            rank: 1,
        });
        app.commands.addCommand(CommandIDs.editText, {
            label: 'Edit Text',
            execute: (args) => {
                showUpdateTextDialog();
            },
            isEnabled: () => editable,
        });
        if (palette) {
            const category = 'Top Bar';
            palette.addItem({ command: CommandIDs.editText, category });
        }
        app.restored.then(() => {
            settings.changed.connect(async () => {
                text = settings.get('text').composite;
                editable = settings.get('editable').composite;
                textNode.textContent = text;
            });
        });
    },
};
class EditHandler extends Widget {
    constructor(oldPath) {
        super({ node: Private.createEditNode(oldPath) });
        const ext = PathExt.extname(oldPath);
        const value = (this.inputNode.value = PathExt.basename(oldPath));
        this.inputNode.setSelectionRange(0, value.length - ext.length);
    }
    get inputNode() {
        return this.node.getElementsByTagName('input')[0];
    }
    getValue() {
        return this.inputNode.value;
    }
}
var Private;
(function (Private) {
    function createEditNode(oldText) {
        const body = document.createElement('div');
        const existingLabel = document.createElement('label');
        existingLabel.textContent = 'Old Text';
        const existingPath = document.createElement('span');
        existingPath.textContent = oldText;
        const nameTitle = document.createElement('label');
        nameTitle.textContent = 'New Text';
        const name = document.createElement('input');
        body.appendChild(existingLabel);
        body.appendChild(existingPath);
        body.appendChild(nameTitle);
        body.appendChild(name);
        return body;
    }
    Private.createEditNode = createEditNode;
})(Private || (Private = {}));
export default extension;