@theia/console 1.34.2 → 1.34.3

package/lib/browser/console-widget.js

@@ -1,248 +1,248 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2018 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
-};
-var __metadata = (this && this.__metadata) || function (k, v) {
-    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
-};
-var ConsoleWidget_1;
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ConsoleWidget = exports.ConsoleOptions = void 0;
-const domutils_1 = require("@theia/core/shared/@phosphor/domutils");
-const inversify_1 = require("@theia/core/shared/inversify");
-const source_tree_1 = require("@theia/core/lib/browser/source-tree");
-const browser_1 = require("@theia/core/lib/browser");
-const monaco_editor_provider_1 = require("@theia/monaco/lib/browser/monaco-editor-provider");
-const console_history_1 = require("./console-history");
-const console_content_widget_1 = require("./console-content-widget");
-const console_session_manager_1 = require("./console-session-manager");
-const monaco = require("@theia/monaco-editor-core");
-exports.ConsoleOptions = Symbol('ConsoleWidgetOptions');
-let ConsoleWidget = ConsoleWidget_1 = class ConsoleWidget extends browser_1.BaseWidget {
-    constructor() {
-        super();
-        this.totalHeight = -1;
-        this.totalWidth = -1;
-        this.node.classList.add(ConsoleWidget_1.styles.node);
-    }
-    static createContainer(parent, options) {
-        const child = console_content_widget_1.ConsoleContentWidget.createContainer(parent);
-        child.bind(console_history_1.ConsoleHistory).toSelf();
-        child.bind(exports.ConsoleOptions).toConstantValue(options);
-        child.bind(ConsoleWidget_1).toSelf();
-        return child;
-    }
-    async init() {
-        const { id, title, inputFocusContextKey } = this.options;
-        const { label, iconClass, caption } = Object.assign({}, title);
-        this.id = id;
-        this.title.closable = true;
-        this.title.label = label || id;
-        if (iconClass) {
-            this.title.iconClass = iconClass;
-        }
-        this.title.caption = caption || label || id;
-        const layout = this.layout = new browser_1.PanelLayout();
-        this.content.node.classList.add(ConsoleWidget_1.styles.content);
-        this.toDispose.push(this.content);
-        layout.addWidget(this.content);
-        const inputWidget = new browser_1.Widget();
-        inputWidget.node.classList.add(ConsoleWidget_1.styles.input);
-        layout.addWidget(inputWidget);
-        const input = this._input = await this.createInput(inputWidget.node);
-        this.toDispose.push(input);
-        this.toDispose.push(input.getControl().onDidLayoutChange(() => this.resizeContent()));
-        this.toDispose.push(input.getControl().onDidChangeConfiguration(event => {
-            if (event.hasChanged(monaco.editor.EditorOption.fontInfo)) {
-                this.updateFont();
-            }
-        }));
-        this.session = this.sessionManager.selectedSession;
-        this.toDispose.push(this.sessionManager.onDidChangeSelectedSession(session => {
-            // Do not clear the session output when `undefined`.
-            if (session) {
-                this.session = session;
-            }
-        }));
-        this.updateFont();
-        if (inputFocusContextKey) {
-            this.toDispose.push(input.onFocusChanged(() => inputFocusContextKey.set(this.hasInputFocus())));
-        }
-    }
-    createInput(node) {
-        return this.editorProvider.createInline(this.options.input.uri, node, this.options.input.options);
-    }
-    updateFont() {
-        const { fontFamily, fontSize, lineHeight } = this._input.getControl().getOption(monaco.editor.EditorOption.fontInfo);
-        this.content.node.style.fontFamily = fontFamily;
-        this.content.node.style.fontSize = fontSize + 'px';
-        this.content.node.style.lineHeight = lineHeight + 'px';
-    }
-    set session(session) {
-        if (this._session === session) {
-            return;
-        }
-        this._session = session;
-        this.content.source = session;
-    }
-    get session() {
-        return this._session;
-    }
-    get input() {
-        return this._input;
-    }
-    selectAll() {
-        const selection = document.getSelection();
-        if (selection) {
-            selection.selectAllChildren(this.content.node);
-        }
-    }
-    collapseAll() {
-        const { root } = this.content.model;
-        if (browser_1.CompositeTreeNode.is(root)) {
-            this.content.model.collapseAll(root);
-        }
-    }
-    clear() {
-        if (this.session) {
-            this.session.clear();
-        }
-    }
-    async execute() {
-        const value = this._input.getControl().getValue();
-        this._input.getControl().setValue('');
-        this.history.push(value);
-        if (this.session) {
-            const listener = this.content.model.onNodeRefreshed(() => {
-                listener.dispose();
-                this.revealLastOutput();
-            });
-            await this.session.execute(value);
-        }
-    }
-    navigateBack() {
-        const value = this.history.previous;
-        if (value === undefined) {
-            return;
-        }
-        const editor = this.input.getControl();
-        editor.setValue(value);
-        editor.setPosition({
-            lineNumber: 1,
-            column: 1
-        });
-    }
-    navigateForward() {
-        const value = this.history.next || '';
-        const editor = this.input.getControl();
-        editor.setValue(value);
-        const lineNumber = editor.getModel().getLineCount();
-        const column = editor.getModel().getLineMaxColumn(lineNumber);
-        editor.setPosition({ lineNumber, column });
-    }
-    revealLastOutput() {
-        const { root } = this.content.model;
-        if (source_tree_1.TreeSourceNode.is(root)) {
-            this.content.model.selectNode(root.children[root.children.length - 1]);
-        }
-    }
-    onActivateRequest(msg) {
-        super.onActivateRequest(msg);
-        this._input.focus();
-    }
-    onResize(msg) {
-        super.onResize(msg);
-        this.totalWidth = msg.width;
-        this.totalHeight = msg.height;
-        this._input.resizeToFit();
-        this.resizeContent();
-    }
-    resizeContent() {
-        this.totalHeight = this.totalHeight < 0 ? this.computeHeight() : this.totalHeight;
-        const inputHeight = this._input.getControl().getLayoutInfo().height;
-        const contentHeight = this.totalHeight - inputHeight;
-        this.content.node.style.height = `${contentHeight}px`;
-        browser_1.MessageLoop.sendMessage(this.content, new browser_1.Widget.ResizeMessage(this.totalWidth, contentHeight));
-    }
-    computeHeight() {
-        const { verticalSum } = domutils_1.ElementExt.boxSizing(this.node);
-        return this.node.offsetHeight - verticalSum;
-    }
-    storeState() {
-        const history = this.history.store();
-        const input = this.input.storeViewState();
-        return {
-            history,
-            input
-        };
-    }
-    restoreState(oldState) {
-        if ('history' in oldState) {
-            // eslint-disable-next-line @typescript-eslint/no-explicit-any
-            this.history.restore(oldState['history']);
-        }
-        this.input.getControl().setValue(this.history.current || '');
-        if ('input' in oldState) {
-            // eslint-disable-next-line @typescript-eslint/no-explicit-any
-            this.input.restoreViewState(oldState['input']);
-        }
-    }
-    hasInputFocus() {
-        return this._input && this._input.isFocused({ strict: true });
-    }
-};
-ConsoleWidget.styles = {
-    node: 'theia-console-widget',
-    content: 'theia-console-content',
-    input: 'theia-console-input',
-};
-__decorate([
-    (0, inversify_1.inject)(exports.ConsoleOptions),
-    __metadata("design:type", Object)
-], ConsoleWidget.prototype, "options", void 0);
-__decorate([
-    (0, inversify_1.inject)(console_content_widget_1.ConsoleContentWidget),
-    __metadata("design:type", console_content_widget_1.ConsoleContentWidget)
-], ConsoleWidget.prototype, "content", void 0);
-__decorate([
-    (0, inversify_1.inject)(console_history_1.ConsoleHistory),
-    __metadata("design:type", console_history_1.ConsoleHistory)
-], ConsoleWidget.prototype, "history", void 0);
-__decorate([
-    (0, inversify_1.inject)(console_session_manager_1.ConsoleSessionManager),
-    __metadata("design:type", console_session_manager_1.ConsoleSessionManager)
-], ConsoleWidget.prototype, "sessionManager", void 0);
-__decorate([
-    (0, inversify_1.inject)(monaco_editor_provider_1.MonacoEditorProvider),
-    __metadata("design:type", monaco_editor_provider_1.MonacoEditorProvider)
-], ConsoleWidget.prototype, "editorProvider", void 0);
-__decorate([
-    (0, inversify_1.postConstruct)(),
-    __metadata("design:type", Function),
-    __metadata("design:paramtypes", []),
-    __metadata("design:returntype", Promise)
-], ConsoleWidget.prototype, "init", null);
-ConsoleWidget = ConsoleWidget_1 = __decorate([
-    (0, inversify_1.injectable)(),
-    __metadata("design:paramtypes", [])
-], ConsoleWidget);
-exports.ConsoleWidget = ConsoleWidget;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2018 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var ConsoleWidget_1;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ConsoleWidget = exports.ConsoleOptions = void 0;
+const domutils_1 = require("@theia/core/shared/@phosphor/domutils");
+const inversify_1 = require("@theia/core/shared/inversify");
+const source_tree_1 = require("@theia/core/lib/browser/source-tree");
+const browser_1 = require("@theia/core/lib/browser");
+const monaco_editor_provider_1 = require("@theia/monaco/lib/browser/monaco-editor-provider");
+const console_history_1 = require("./console-history");
+const console_content_widget_1 = require("./console-content-widget");
+const console_session_manager_1 = require("./console-session-manager");
+const monaco = require("@theia/monaco-editor-core");
+exports.ConsoleOptions = Symbol('ConsoleWidgetOptions');
+let ConsoleWidget = ConsoleWidget_1 = class ConsoleWidget extends browser_1.BaseWidget {
+    constructor() {
+        super();
+        this.totalHeight = -1;
+        this.totalWidth = -1;
+        this.node.classList.add(ConsoleWidget_1.styles.node);
+    }
+    static createContainer(parent, options) {
+        const child = console_content_widget_1.ConsoleContentWidget.createContainer(parent);
+        child.bind(console_history_1.ConsoleHistory).toSelf();
+        child.bind(exports.ConsoleOptions).toConstantValue(options);
+        child.bind(ConsoleWidget_1).toSelf();
+        return child;
+    }
+    async init() {
+        const { id, title, inputFocusContextKey } = this.options;
+        const { label, iconClass, caption } = Object.assign({}, title);
+        this.id = id;
+        this.title.closable = true;
+        this.title.label = label || id;
+        if (iconClass) {
+            this.title.iconClass = iconClass;
+        }
+        this.title.caption = caption || label || id;
+        const layout = this.layout = new browser_1.PanelLayout();
+        this.content.node.classList.add(ConsoleWidget_1.styles.content);
+        this.toDispose.push(this.content);
+        layout.addWidget(this.content);
+        const inputWidget = new browser_1.Widget();
+        inputWidget.node.classList.add(ConsoleWidget_1.styles.input);
+        layout.addWidget(inputWidget);
+        const input = this._input = await this.createInput(inputWidget.node);
+        this.toDispose.push(input);
+        this.toDispose.push(input.getControl().onDidLayoutChange(() => this.resizeContent()));
+        this.toDispose.push(input.getControl().onDidChangeConfiguration(event => {
+            if (event.hasChanged(monaco.editor.EditorOption.fontInfo)) {
+                this.updateFont();
+            }
+        }));
+        this.session = this.sessionManager.selectedSession;
+        this.toDispose.push(this.sessionManager.onDidChangeSelectedSession(session => {
+            // Do not clear the session output when `undefined`.
+            if (session) {
+                this.session = session;
+            }
+        }));
+        this.updateFont();
+        if (inputFocusContextKey) {
+            this.toDispose.push(input.onFocusChanged(() => inputFocusContextKey.set(this.hasInputFocus())));
+        }
+    }
+    createInput(node) {
+        return this.editorProvider.createInline(this.options.input.uri, node, this.options.input.options);
+    }
+    updateFont() {
+        const { fontFamily, fontSize, lineHeight } = this._input.getControl().getOption(monaco.editor.EditorOption.fontInfo);
+        this.content.node.style.fontFamily = fontFamily;
+        this.content.node.style.fontSize = fontSize + 'px';
+        this.content.node.style.lineHeight = lineHeight + 'px';
+    }
+    set session(session) {
+        if (this._session === session) {
+            return;
+        }
+        this._session = session;
+        this.content.source = session;
+    }
+    get session() {
+        return this._session;
+    }
+    get input() {
+        return this._input;
+    }
+    selectAll() {
+        const selection = document.getSelection();
+        if (selection) {
+            selection.selectAllChildren(this.content.node);
+        }
+    }
+    collapseAll() {
+        const { root } = this.content.model;
+        if (browser_1.CompositeTreeNode.is(root)) {
+            this.content.model.collapseAll(root);
+        }
+    }
+    clear() {
+        if (this.session) {
+            this.session.clear();
+        }
+    }
+    async execute() {
+        const value = this._input.getControl().getValue();
+        this._input.getControl().setValue('');
+        this.history.push(value);
+        if (this.session) {
+            const listener = this.content.model.onNodeRefreshed(() => {
+                listener.dispose();
+                this.revealLastOutput();
+            });
+            await this.session.execute(value);
+        }
+    }
+    navigateBack() {
+        const value = this.history.previous;
+        if (value === undefined) {
+            return;
+        }
+        const editor = this.input.getControl();
+        editor.setValue(value);
+        editor.setPosition({
+            lineNumber: 1,
+            column: 1
+        });
+    }
+    navigateForward() {
+        const value = this.history.next || '';
+        const editor = this.input.getControl();
+        editor.setValue(value);
+        const lineNumber = editor.getModel().getLineCount();
+        const column = editor.getModel().getLineMaxColumn(lineNumber);
+        editor.setPosition({ lineNumber, column });
+    }
+    revealLastOutput() {
+        const { root } = this.content.model;
+        if (source_tree_1.TreeSourceNode.is(root)) {
+            this.content.model.selectNode(root.children[root.children.length - 1]);
+        }
+    }
+    onActivateRequest(msg) {
+        super.onActivateRequest(msg);
+        this._input.focus();
+    }
+    onResize(msg) {
+        super.onResize(msg);
+        this.totalWidth = msg.width;
+        this.totalHeight = msg.height;
+        this._input.resizeToFit();
+        this.resizeContent();
+    }
+    resizeContent() {
+        this.totalHeight = this.totalHeight < 0 ? this.computeHeight() : this.totalHeight;
+        const inputHeight = this._input.getControl().getLayoutInfo().height;
+        const contentHeight = this.totalHeight - inputHeight;
+        this.content.node.style.height = `${contentHeight}px`;
+        browser_1.MessageLoop.sendMessage(this.content, new browser_1.Widget.ResizeMessage(this.totalWidth, contentHeight));
+    }
+    computeHeight() {
+        const { verticalSum } = domutils_1.ElementExt.boxSizing(this.node);
+        return this.node.offsetHeight - verticalSum;
+    }
+    storeState() {
+        const history = this.history.store();
+        const input = this.input.storeViewState();
+        return {
+            history,
+            input
+        };
+    }
+    restoreState(oldState) {
+        if ('history' in oldState) {
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            this.history.restore(oldState['history']);
+        }
+        this.input.getControl().setValue(this.history.current || '');
+        if ('input' in oldState) {
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            this.input.restoreViewState(oldState['input']);
+        }
+    }
+    hasInputFocus() {
+        return this._input && this._input.isFocused({ strict: true });
+    }
+};
+ConsoleWidget.styles = {
+    node: 'theia-console-widget',
+    content: 'theia-console-content',
+    input: 'theia-console-input',
+};
+__decorate([
+    (0, inversify_1.inject)(exports.ConsoleOptions),
+    __metadata("design:type", Object)
+], ConsoleWidget.prototype, "options", void 0);
+__decorate([
+    (0, inversify_1.inject)(console_content_widget_1.ConsoleContentWidget),
+    __metadata("design:type", console_content_widget_1.ConsoleContentWidget)
+], ConsoleWidget.prototype, "content", void 0);
+__decorate([
+    (0, inversify_1.inject)(console_history_1.ConsoleHistory),
+    __metadata("design:type", console_history_1.ConsoleHistory)
+], ConsoleWidget.prototype, "history", void 0);
+__decorate([
+    (0, inversify_1.inject)(console_session_manager_1.ConsoleSessionManager),
+    __metadata("design:type", console_session_manager_1.ConsoleSessionManager)
+], ConsoleWidget.prototype, "sessionManager", void 0);
+__decorate([
+    (0, inversify_1.inject)(monaco_editor_provider_1.MonacoEditorProvider),
+    __metadata("design:type", monaco_editor_provider_1.MonacoEditorProvider)
+], ConsoleWidget.prototype, "editorProvider", void 0);
+__decorate([
+    (0, inversify_1.postConstruct)(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", Promise)
+], ConsoleWidget.prototype, "init", null);
+ConsoleWidget = ConsoleWidget_1 = __decorate([
+    (0, inversify_1.injectable)(),
+    __metadata("design:paramtypes", [])
+], ConsoleWidget);
+exports.ConsoleWidget = ConsoleWidget;
 //# sourceMappingURL=console-widget.js.map

package/lib/package.spec.js

@@ -1,26 +1,26 @@
-// *****************************************************************************
-// Copyright (C) 2018 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-/* note: this bogus test file is required so that
-   we are able to run mocha unit tests on this
-   package, without having any actual unit tests in it.
-   This way a coverage report will be generated,
-   showing 0% coverage, instead of no report.
-   This file can be removed once we have real unit
-   tests in place. */
-describe('console package', () => {
-    it('support code coverage statistics', () => true);
-});
+// *****************************************************************************
+// Copyright (C) 2018 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+/* note: this bogus test file is required so that
+   we are able to run mocha unit tests on this
+   package, without having any actual unit tests in it.
+   This way a coverage report will be generated,
+   showing 0% coverage, instead of no report.
+   This file can be removed once we have real unit
+   tests in place. */
+describe('console package', () => {
+    it('support code coverage statistics', () => true);
+});
 //# sourceMappingURL=package.spec.js.map

package/package.json

@@ -1,10 +1,10 @@
 {
   "name": "@theia/console",
-  "version": "1.34.2",
+  "version": "1.34.3",
   "description": "Theia - Console Extension",
   "dependencies": {
-    "@theia/core": "1.34.2",
-    "@theia/monaco": "1.34.2",
+    "@theia/core": "1.34.3",
+    "@theia/monaco": "1.34.3",
     "@theia/monaco-editor-core": "1.72.3",
     "anser": "^2.0.1"
   },
@@ -41,10 +41,10 @@
     "watch": "theiaext watch"
   },
   "devDependencies": {
-    "@theia/ext-scripts": "1.34.2"
+    "@theia/ext-scripts": "1.34.3"
   },
   "nyc": {
     "extends": "../../configs/nyc.json"
   },
-  "gitHead": "dba940bd8c0f9f4b324dad0e90d570d499456f60"
+  "gitHead": "a6cf9fe96b1624d6e27a11dce2ebdeae820478e5"
 }