@jupyterlab/fileeditor-extension 4.0.0-alpha.8 → 4.0.0-beta.0

package/lib/commands.js

@@ -1,9 +1,13 @@
 // Copyright (c) Jupyter Development Team.
 // Distributed under the terms of the Modified BSD License.
-import { Clipboard, sessionContextDialogs } from '@jupyterlab/apputils';
-import { CodeEditor } from '@jupyterlab/codeeditor';
+import { selectAll } from '@codemirror/commands';
+import { findNext, gotoLine } from '@codemirror/search';
+import { Clipboard, MainAreaWidget } from '@jupyterlab/apputils';
+import { CodeViewerWidget } from '@jupyterlab/codeeditor';
 import { MarkdownCodeBlocks, PathExt } from '@jupyterlab/coreutils';
+import { nullTranslator } from '@jupyterlab/translation';
 import { consoleIcon, copyIcon, cutIcon, LabIcon, markdownIcon, pasteIcon, redoIcon, textEditorIcon, undoIcon } from '@jupyterlab/ui-components';
+import { find } from '@lumino/algorithm';
 const autoClosingBracketsNotebook = 'notebook:toggle-autoclosing-brackets';
 const autoClosingBracketsConsole = 'console:toggle-autoclosing-brackets';
 /**
@@ -37,57 +41,38 @@ export var CommandIDs;
     CommandIDs.selectAll = 'fileeditor:select-all';
     CommandIDs.invokeCompleter = 'completer:invoke-file';
     CommandIDs.selectCompleter = 'completer:select-file';
+    CommandIDs.openCodeViewer = 'code-viewer:open';
+    CommandIDs.changeTheme = 'fileeditor:change-theme';
+    CommandIDs.changeLanguage = 'fileeditor:change-language';
+    CommandIDs.find = 'fileeditor:find';
+    CommandIDs.goToLine = 'fileeditor:go-to-line';
 })(CommandIDs || (CommandIDs = {}));
 /**
  * The name of the factory that creates editor widgets.
  */
 export const FACTORY = 'Editor';
-const userSettings = [
-    'autoClosingBrackets',
-    'codeFolding',
-    'cursorBlinkRate',
-    'fontFamily',
-    'fontSize',
-    'insertSpaces',
-    'lineHeight',
-    'lineNumbers',
-    'lineWrap',
-    'matchBrackets',
-    'readOnly',
-    'rulers',
-    'showTrailingSpace',
-    'tabSize',
-    'wordWrapColumn'
-];
-function filterUserSettings(config) {
-    const filteredConfig = Object.assign({}, config);
-    // Delete parts of the config that are not user settings (like handlePaste).
-    for (let k of Object.keys(config)) {
-        if (!userSettings.includes(k)) {
-            delete config[k];
-        }
-    }
-    return filteredConfig;
-}
-let config = filterUserSettings(CodeEditor.defaultConfig);
 /**
  * A utility class for adding commands and menu items,
  * for use by the File Editor extension or other Editor extensions.
  */
 export var Commands;
 (function (Commands) {
+    let config = {};
+    let scrollPastEnd = true;
     /**
      * Accessor function that returns the createConsole function for use by Create Console commands
      */
-    function getCreateConsoleFunction(commands) {
+    function getCreateConsoleFunction(commands, languages) {
         return async function createConsole(widget, args) {
-            var _a;
+            var _a, _b, _c;
             const options = args || {};
             const console = await commands.execute('console:create', {
                 activate: options['activate'],
                 name: (_a = widget.context.contentsModel) === null || _a === void 0 ? void 0 : _a.name,
                 path: widget.context.path,
-                preferredLanguage: widget.context.model.defaultKernelLanguage,
+                // Default value is an empty string -> using OR operator
+                preferredLanguage: widget.context.model.defaultKernelLanguage ||
+                    ((_c = (_b = languages.findByFileName(widget.context.path)) === null || _b === void 0 ? void 0 : _b.name) !== null && _c !== void 0 ? _c : ''),
                 ref: widget.id,
                 insertMode: 'split-bottom'
             });
@@ -102,9 +87,20 @@ export var Commands;
      * Update the setting values.
      */
     function updateSettings(settings, commands) {
-        config = filterUserSettings(Object.assign(Object.assign({}, CodeEditor.defaultConfig), settings.get('editorConfig').composite));
+        var _a;
+        config =
+            (_a = settings.get('editorConfig').composite) !== null && _a !== void 0 ? _a : {};
+        scrollPastEnd = settings.get('scrollPasteEnd').composite;
         // Trigger a refresh of the rendered commands
-        commands.notifyCommandChanged();
+        commands.notifyCommandChanged(CommandIDs.lineNumbers);
+        commands.notifyCommandChanged(CommandIDs.currentLineNumbers);
+        commands.notifyCommandChanged(CommandIDs.lineWrap);
+        commands.notifyCommandChanged(CommandIDs.currentLineWrap);
+        commands.notifyCommandChanged(CommandIDs.changeTabs);
+        commands.notifyCommandChanged(CommandIDs.matchBrackets);
+        commands.notifyCommandChanged(CommandIDs.currentMatchBrackets);
+        commands.notifyCommandChanged(CommandIDs.autoClosingBrackets);
+        commands.notifyCommandChanged(CommandIDs.changeLanguage);
     }
     Commands.updateSettings = updateSettings;
     /**
@@ -122,18 +118,19 @@ export var Commands;
      */
     function updateWidget(widget) {
         const editor = widget.editor;
-        editor.setOptions(Object.assign({}, config));
+        editor.setOptions({ ...config, scrollPastEnd });
     }
     Commands.updateWidget = updateWidget;
     /**
      * Wrapper function for adding the default File Editor commands
      */
-    function addCommands(commands, settingRegistry, trans, id, isEnabled, tracker, browserFactory, consoleTracker, sessionDialogs) {
+    function addCommands(commands, settingRegistry, trans, id, isEnabled, tracker, defaultBrowser, extensions, languages, consoleTracker, sessionDialogs) {
         /**
          * Add a command to change font size for File Editor
          */
         commands.addCommand(CommandIDs.changeFontSize, {
             execute: args => {
+                var _a;
                 const delta = Number(args['delta']);
                 if (Number.isNaN(delta)) {
                     console.error(`${CommandIDs.changeFontSize}: delta arg must be a number`);
@@ -141,7 +138,8 @@ export var Commands;
                 }
                 const style = window.getComputedStyle(document.documentElement);
                 const cssSize = parseInt(style.getPropertyValue('--jp-code-font-size'), 10);
-                const currentSize = config.fontSize || cssSize;
+                const currentSize = ((_a = config['customStyles']['fontSize']) !== null && _a !== void 0 ? _a : extensions.baseConfiguration['customStyles']['fontSize']) ||
+                    cssSize;
                 config.fontSize = currentSize + delta;
                 return settingRegistry
                     .set(id, 'editorConfig', config)
@@ -150,8 +148,11 @@ export var Commands;
                 });
             },
             label: args => {
-                var _a;
-                if (((_a = args.delta) !== null && _a !== void 0 ? _a : 0) > 0) {
+                const delta = Number(args['delta']);
+                if (Number.isNaN(delta)) {
+                    console.error(`${CommandIDs.changeFontSize}: delta arg must be a number`);
+                }
+                if (delta > 0) {
                     return args.isMenu
                         ? trans.__('Increase Text Editor Font Size')
                         : trans.__('Increase Font Size');
@@ -167,20 +168,23 @@ export var Commands;
          * Add the Line Numbers command
          */
         commands.addCommand(CommandIDs.lineNumbers, {
-            execute: () => {
-                config.lineNumbers = !config.lineNumbers;
-                return settingRegistry
-                    .set(id, 'editorConfig', config)
-                    .catch((reason) => {
+            execute: async () => {
+                var _a;
+                config.lineNumbers = !((_a = config.lineNumbers) !== null && _a !== void 0 ? _a : extensions.baseConfiguration.lineNumbers);
+                try {
+                    return await settingRegistry.set(id, 'editorConfig', config);
+                }
+                catch (reason) {
                     console.error(`Failed to set ${id}: ${reason.message}`);
-                });
+                }
             },
             isEnabled,
-            isToggled: () => config.lineNumbers,
-            label: trans.__('Line Numbers')
+            isToggled: () => { var _a; return (_a = config.lineNumbers) !== null && _a !== void 0 ? _a : extensions.baseConfiguration.lineNumbers; },
+            label: trans.__('Show Line Numbers')
         });
         commands.addCommand(CommandIDs.currentLineNumbers, {
             label: trans.__('Show Line Numbers'),
+            caption: trans.__('Show the line numbers for the current file.'),
             execute: () => {
                 const widget = tracker.currentWidget;
                 if (!widget) {
@@ -193,44 +197,48 @@ export var Commands;
             isToggled: () => {
                 var _a;
                 const widget = tracker.currentWidget;
-                return (_a = widget === null || widget === void 0 ? void 0 : widget.content.editor.getOption('lineNumbers')) !== null && _a !== void 0 ? _a : false;
+                return ((_a = widget === null || widget === void 0 ? void 0 : widget.content.editor.getOption('lineNumbers')) !== null && _a !== void 0 ? _a : false);
             }
         });
         /**
          * Add the Word Wrap command
          */
         commands.addCommand(CommandIDs.lineWrap, {
-            execute: args => {
-                config.lineWrap = args['mode'] || 'off';
-                return settingRegistry
-                    .set(id, 'editorConfig', config)
-                    .catch((reason) => {
+            execute: async (args) => {
+                var _a;
+                config.lineWrap = (_a = args['mode']) !== null && _a !== void 0 ? _a : false;
+                try {
+                    return await settingRegistry.set(id, 'editorConfig', config);
+                }
+                catch (reason) {
                     console.error(`Failed to set ${id}: ${reason.message}`);
-                });
+                }
             },
             isEnabled,
             isToggled: args => {
-                const lineWrap = args['mode'] || 'off';
-                return config.lineWrap === lineWrap;
+                var _a, _b;
+                const lineWrap = (_a = args['mode']) !== null && _a !== void 0 ? _a : false;
+                return (lineWrap ===
+                    ((_b = config.lineWrap) !== null && _b !== void 0 ? _b : extensions.baseConfiguration.lineWrap));
             },
             label: trans.__('Word Wrap')
         });
         commands.addCommand(CommandIDs.currentLineWrap, {
             label: trans.__('Wrap Words'),
+            caption: trans.__('Wrap words for the current file.'),
             execute: () => {
                 const widget = tracker.currentWidget;
                 if (!widget) {
                     return;
                 }
                 const oldValue = widget.content.editor.getOption('lineWrap');
-                const newValue = oldValue === 'off' ? 'on' : 'off';
-                widget.content.editor.setOption('lineWrap', newValue);
+                widget.content.editor.setOption('lineWrap', !oldValue);
             },
             isEnabled,
             isToggled: () => {
                 var _a;
                 const widget = tracker.currentWidget;
-                return (_a = (widget === null || widget === void 0 ? void 0 : widget.content.editor.getOption('lineWrap')) !== 'off') !== null && _a !== void 0 ? _a : false;
+                return ((_a = widget === null || widget === void 0 ? void 0 : widget.content.editor.getOption('lineWrap')) !== null && _a !== void 0 ? _a : false);
             }
         });
         /**
@@ -239,46 +247,55 @@ export var Commands;
         commands.addCommand(CommandIDs.changeTabs, {
             label: args => {
                 var _a;
-                if (args.insertSpaces) {
-                    return trans._n('Spaces: %1', 'Spaces: %1', (_a = args.size) !== null && _a !== void 0 ? _a : 0);
+                if (args.size) {
+                    return trans.__('Spaces: %1', (_a = args.size) !== null && _a !== void 0 ? _a : '');
                 }
                 else {
                     return trans.__('Indent with Tab');
                 }
             },
-            execute: args => {
-                config.tabSize = args['size'] || 4;
-                config.insertSpaces = !!args['insertSpaces'];
-                return settingRegistry
-                    .set(id, 'editorConfig', config)
-                    .catch((reason) => {
+            execute: async (args) => {
+                var _a;
+                config.indentUnit =
+                    args['size'] !== undefined
+                        ? ((_a = args['size']) !== null && _a !== void 0 ? _a : '4').toString()
+                        : 'Tab';
+                try {
+                    return await settingRegistry.set(id, 'editorConfig', config);
+                }
+                catch (reason) {
                     console.error(`Failed to set ${id}: ${reason.message}`);
-                });
+                }
             },
             isToggled: args => {
-                const insertSpaces = !!args['insertSpaces'];
-                const size = args['size'] || 4;
-                return config.insertSpaces === insertSpaces && config.tabSize === size;
+                var _a;
+                const currentIndentUnit = (_a = config.indentUnit) !== null && _a !== void 0 ? _a : extensions.baseConfiguration.indentUnit;
+                return args['size']
+                    ? args['size'] === currentIndentUnit
+                    : 'Tab' == currentIndentUnit;
             }
         });
         /**
          * Add the Match Brackets command
          */
         commands.addCommand(CommandIDs.matchBrackets, {
-            execute: () => {
-                config.matchBrackets = !config.matchBrackets;
-                return settingRegistry
-                    .set(id, 'editorConfig', config)
-                    .catch((reason) => {
+            execute: async () => {
+                var _a;
+                config.matchBrackets = !((_a = config.matchBrackets) !== null && _a !== void 0 ? _a : extensions.baseConfiguration.matchBrackets);
+                try {
+                    return await settingRegistry.set(id, 'editorConfig', config);
+                }
+                catch (reason) {
                     console.error(`Failed to set ${id}: ${reason.message}`);
-                });
+                }
             },
             label: trans.__('Match Brackets'),
             isEnabled,
-            isToggled: () => config.matchBrackets
+            isToggled: () => { var _a; return (_a = config.matchBrackets) !== null && _a !== void 0 ? _a : extensions.baseConfiguration.matchBrackets; }
         });
         commands.addCommand(CommandIDs.currentMatchBrackets, {
             label: trans.__('Match Brackets'),
+            caption: trans.__('Change match brackets for the current file.'),
             execute: () => {
                 const widget = tracker.currentWidget;
                 if (!widget) {
@@ -291,24 +308,28 @@ export var Commands;
             isToggled: () => {
                 var _a;
                 const widget = tracker.currentWidget;
-                return (_a = widget === null || widget === void 0 ? void 0 : widget.content.editor.getOption('matchBrackets')) !== null && _a !== void 0 ? _a : false;
+                return ((_a = widget === null || widget === void 0 ? void 0 : widget.content.editor.getOption('matchBrackets')) !== null && _a !== void 0 ? _a : false);
             }
         });
         /**
          * Add the Auto Close Brackets for Text Editor command
          */
         commands.addCommand(CommandIDs.autoClosingBrackets, {
-            execute: args => {
-                var _a;
-                config.autoClosingBrackets = !!((_a = args['force']) !== null && _a !== void 0 ? _a : !config.autoClosingBrackets);
-                return settingRegistry
-                    .set(id, 'editorConfig', config)
-                    .catch((reason) => {
+            execute: async (args) => {
+                var _a, _b;
+                config.autoClosingBrackets = !!((_a = args['force']) !== null && _a !== void 0 ? _a : !((_b = config.autoClosingBrackets) !== null && _b !== void 0 ? _b : extensions.baseConfiguration.autoClosingBrackets));
+                try {
+                    return await settingRegistry.set(id, 'editorConfig', config);
+                }
+                catch (reason) {
                     console.error(`Failed to set ${id}: ${reason.message}`);
-                });
+                }
             },
-            label: trans.__('Auto Close Brackets for Text Editor'),
-            isToggled: () => config.autoClosingBrackets
+            label: trans.__('Auto Close Brackets in Text Editor'),
+            isToggled: () => {
+                var _a;
+                return (_a = config.autoClosingBrackets) !== null && _a !== void 0 ? _a : extensions.baseConfiguration.autoClosingBrackets;
+            }
         });
         commands.addCommand(CommandIDs.autoClosingBracketsUniversal, {
             execute: () => {
@@ -337,6 +358,87 @@ export var Commands;
                 commands.isToggled(autoClosingBracketsNotebook) ||
                 commands.isToggled(autoClosingBracketsConsole)
         });
+        /**
+         * Create a menu for the editor.
+         */
+        commands.addCommand(CommandIDs.changeTheme, {
+            label: args => {
+                var _a, _b, _c, _d;
+                return (_d = (_c = (_b = ((_a = args.displayName) !== null && _a !== void 0 ? _a : args.theme)) !== null && _b !== void 0 ? _b : config.theme) !== null && _c !== void 0 ? _c : extensions.baseConfiguration.theme) !== null && _d !== void 0 ? _d : trans.__('Editor Theme');
+            },
+            execute: async (args) => {
+                var _a;
+                config.theme = (_a = args['theme']) !== null && _a !== void 0 ? _a : config.theme;
+                try {
+                    return await settingRegistry.set(id, 'editorConfig', config);
+                }
+                catch (reason) {
+                    console.error(`Failed to set theme - ${reason.message}`);
+                }
+            },
+            isToggled: args => { var _a; return args['theme'] === ((_a = config.theme) !== null && _a !== void 0 ? _a : extensions.baseConfiguration.theme); }
+        });
+        commands.addCommand(CommandIDs.find, {
+            label: trans.__('Find…'),
+            execute: () => {
+                const widget = tracker.currentWidget;
+                if (!widget) {
+                    return;
+                }
+                const editor = widget.content.editor;
+                editor.execCommand(findNext);
+            },
+            isEnabled
+        });
+        commands.addCommand(CommandIDs.goToLine, {
+            label: trans.__('Go to Line…'),
+            execute: args => {
+                const widget = tracker.currentWidget;
+                if (!widget) {
+                    return;
+                }
+                const editor = widget.content.editor;
+                const line = args['line'];
+                const column = args['column'];
+                if (line !== undefined || column !== undefined) {
+                    editor.setCursorPosition({
+                        line: (line !== null && line !== void 0 ? line : 1) - 1,
+                        column: (column !== null && column !== void 0 ? column : 1) - 1
+                    });
+                }
+                else {
+                    editor.execCommand(gotoLine);
+                }
+            },
+            isEnabled
+        });
+        commands.addCommand(CommandIDs.changeLanguage, {
+            label: args => {
+                var _a, _b;
+                return (_b = ((_a = args['displayName']) !== null && _a !== void 0 ? _a : args['name'])) !== null && _b !== void 0 ? _b : trans.__('Change editor language.');
+            },
+            execute: args => {
+                const name = args['name'];
+                const widget = tracker.currentWidget;
+                if (name && widget) {
+                    const spec = languages.findByName(name);
+                    if (spec) {
+                        widget.content.model.mimeType = spec.mime;
+                    }
+                }
+            },
+            isEnabled,
+            isToggled: args => {
+                const widget = tracker.currentWidget;
+                if (!widget) {
+                    return false;
+                }
+                const mime = widget.content.model.mimeType;
+                const spec = languages.findByMIME(mime);
+                const name = spec && spec.name;
+                return args['name'] === name;
+            }
+        });
         /**
          * Add the replace selection for text editor command
          */
@@ -362,7 +464,7 @@ export var Commands;
                 if (!widget) {
                     return;
                 }
-                return getCreateConsoleFunction(commands)(widget, args);
+                return getCreateConsoleFunction(commands, languages)(widget, args);
             },
             isEnabled,
             icon: consoleIcon,
@@ -380,7 +482,7 @@ export var Commands;
                 }
                 const widget = consoleTracker.find(widget => { var _a; return ((_a = widget.sessionContext.session) === null || _a === void 0 ? void 0 : _a.path) === current.context.path; });
                 if (widget) {
-                    return (sessionDialogs || sessionContextDialogs).restart(widget.sessionContext);
+                    return sessionDialogs.restart(widget.sessionContext);
                 }
             },
             label: trans.__('Restart Kernel'),
@@ -408,10 +510,10 @@ export var Commands;
                     // Get the selected code from the editor.
                     const start = editor.getOffsetAt(selection.start);
                     const end = editor.getOffsetAt(selection.end);
-                    code = editor.model.value.text.substring(start, end);
+                    code = editor.model.sharedModel.getSource().substring(start, end);
                 }
                 else if (MarkdownCodeBlocks.isMarkdown(extension)) {
-                    const { text } = editor.model.value;
+                    const text = editor.model.sharedModel.getSource();
                     const blocks = MarkdownCodeBlocks.findMarkdownCodeBlocks(text);
                     for (const block of blocks) {
                         if (block.startLine <= start.line && start.line <= block.endLine) {
@@ -426,8 +528,8 @@ export var Commands;
                     code = editor.getLine(selection.start.line);
                     const cursor = editor.getCursorPosition();
                     if (cursor.line + 1 === editor.lineCount) {
-                        const text = editor.model.value.text;
-                        editor.model.value.text = text + '\n';
+                        const text = editor.model.sharedModel.getSource();
+                        editor.model.sharedModel.setSource(text + '\n');
                     }
                     editor.setCursorPosition({
                         line: cursor.line + 1,
@@ -457,7 +559,7 @@ export var Commands;
                 }
                 let code = '';
                 const editor = widget.editor;
-                const text = editor.model.value.text;
+                const text = editor.model.sharedModel.getSource();
                 const path = widget.context.path;
                 const extension = PathExt.extname(path);
                 if (MarkdownCodeBlocks.isMarkdown(extension)) {
@@ -529,7 +631,7 @@ export var Commands;
             },
             execute: args => {
                 var _a;
-                const cwd = args.cwd || browserFactory.defaultBrowser.model.path;
+                const cwd = args.cwd || defaultBrowser.model.path;
                 return createNew(commands, cwd, (_a = args.fileExt) !== null && _a !== void 0 ? _a : 'txt');
             }
         });
@@ -543,7 +645,7 @@ export var Commands;
             caption: trans.__('Create a new markdown file'),
             icon: args => (args['isPalette'] ? undefined : markdownIcon),
             execute: args => {
-                const cwd = args['cwd'] || browserFactory.defaultBrowser.model.path;
+                const cwd = args['cwd'] || defaultBrowser.model.path;
                 return createNew(commands, cwd, 'md');
             }
         });
@@ -696,15 +798,17 @@ export var Commands;
                     return;
                 }
                 const editor = widget.editor;
-                editor.execCommand('selectAll');
+                editor.execCommand(selectAll);
             },
             isEnabled: () => { var _a; return Boolean(isEnabled() && ((_a = tracker.currentWidget) === null || _a === void 0 ? void 0 : _a.content)); },
             label: trans.__('Select All')
         });
     }
     Commands.addCommands = addCommands;
-    function addCompleterCommands(commands, editorTracker, manager) {
+    function addCompleterCommands(commands, editorTracker, manager, translator) {
+        const trans = (translator !== null && translator !== void 0 ? translator : nullTranslator).load('jupyterlab');
         commands.addCommand(CommandIDs.invokeCompleter, {
+            label: trans.__('Display the completion helper.'),
             execute: () => {
                 const id = editorTracker.currentWidget && editorTracker.currentWidget.id;
                 if (id) {
@@ -713,6 +817,7 @@ export var Commands;
             }
         });
         commands.addCommand(CommandIDs.selectCompleter, {
+            label: trans.__('Select the completion suggestion.'),
             execute: () => {
                 const id = editorTracker.currentWidget && editorTracker.currentWidget.id;
                 if (id) {
@@ -743,27 +848,26 @@ export var Commands;
         const selectionObj = editor.getSelection();
         const start = editor.getOffsetAt(selectionObj.start);
         const end = editor.getOffsetAt(selectionObj.end);
-        const text = editor.model.value.text.substring(start, end);
+        const text = editor.model.sharedModel.getSource().substring(start, end);
         return text;
     }
     /**
      * Function to create a new untitled text file, given the current working directory.
      */
-    function createNew(commands, cwd, ext = 'txt') {
-        return commands
-            .execute('docmanager:new-untitled', {
+    async function createNew(commands, cwd, ext = 'txt') {
+        const model = await commands.execute('docmanager:new-untitled', {
             path: cwd,
             type: 'file',
             ext
-        })
-            .then(model => {
-            if (model != undefined) {
-                return commands.execute('docmanager:open', {
-                    path: model.path,
-                    factory: FACTORY
-                });
-            }
         });
+        if (model != undefined) {
+            const widget = (await commands.execute('docmanager:open', {
+                path: model.path,
+                factory: FACTORY
+            }));
+            widget.isUntitled = true;
+            return widget;
+        }
     }
     /**
      * Wrapper function for adding the default launcher items for File Editor
@@ -825,14 +929,12 @@ export var Commands;
     function addChangeTabsCommandsToPalette(palette, trans) {
         const paletteCategory = trans.__('Text Editor');
         const args = {
-            insertSpaces: false,
             size: 4
         };
         const command = CommandIDs.changeTabs;
         palette.addItem({ command, args, category: paletteCategory });
         for (const size of [1, 2, 4, 8]) {
             const args = {
-                insertSpaces: true,
                 size
             };
             palette.addItem({ command, args, category: paletteCategory });
@@ -883,7 +985,7 @@ export var Commands;
         for (let ext of availableKernelFileTypes) {
             palette.addItem({
                 command: CommandIDs.createNew,
-                args: Object.assign(Object.assign({}, ext), { isPalette: true }),
+                args: { ...ext, isPalette: true },
                 category: paletteCategory
             });
         }
@@ -959,5 +1061,43 @@ export var Commands;
         });
     }
     Commands.addCodeRunnersToRunMenu = addCodeRunnersToRunMenu;
+    function addOpenCodeViewerCommand(app, editorServices, tracker, trans) {
+        const openCodeViewer = async (args) => {
+            var _a;
+            const func = editorServices.factoryService.newDocumentEditor;
+            const factory = options => {
+                return func(options);
+            };
+            // Derive mimetype from extension
+            let mimetype = args.mimeType;
+            if (!mimetype && args.extension) {
+                mimetype = editorServices.mimeTypeService.getMimeTypeByFilePath(`temp.${args.extension.replace(/\\.$/, '')}`);
+            }
+            const widget = CodeViewerWidget.createCodeViewer({
+                factory,
+                content: args.content,
+                mimeType: mimetype
+            });
+            widget.title.label = args.label || trans.__('Code Viewer');
+            widget.title.caption = widget.title.label;
+            // Get the fileType based on the mimetype to determine the icon
+            const fileType = find(app.docRegistry.fileTypes(), fileType => mimetype ? fileType.mimeTypes.includes(mimetype) : false);
+            widget.title.icon = (_a = fileType === null || fileType === void 0 ? void 0 : fileType.icon) !== null && _a !== void 0 ? _a : textEditorIcon;
+            if (args.widgetId) {
+                widget.id = args.widgetId;
+            }
+            const main = new MainAreaWidget({ content: widget });
+            await tracker.add(main);
+            app.shell.add(main, 'main');
+            return widget;
+        };
+        app.commands.addCommand(CommandIDs.openCodeViewer, {
+            label: trans.__('Open Code Viewer'),
+            execute: (args) => {
+                return openCodeViewer(args);
+            }
+        });
+    }
+    Commands.addOpenCodeViewerCommand = addOpenCodeViewerCommand;
 })(Commands || (Commands = {}));
 //# sourceMappingURL=commands.js.map