@theia/editor 1.34.1 → 1.34.3

package/lib/browser/editor-widget-factory.js

@@ -1,92 +1,92 @@
-"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 EditorWidgetFactory_1;
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.EditorWidgetFactory = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const uri_1 = require("@theia/core/lib/common/uri");
-const common_1 = require("@theia/core/lib/common");
-const browser_1 = require("@theia/core/lib/browser");
-const editor_widget_1 = require("./editor-widget");
-const editor_1 = require("./editor");
-let EditorWidgetFactory = EditorWidgetFactory_1 = class EditorWidgetFactory {
-    constructor() {
-        this.id = EditorWidgetFactory_1.ID;
-    }
-    static createID(uri, counter) {
-        return EditorWidgetFactory_1.ID
-            + `:${uri.toString()}`
-            + (counter !== undefined ? `:${counter}` : '');
-    }
-    createWidget(options) {
-        const uri = new uri_1.default(options.uri);
-        return this.createEditor(uri, options);
-    }
-    async createEditor(uri, options) {
-        const newEditor = await this.constructEditor(uri);
-        this.setLabels(newEditor, uri);
-        const labelListener = this.labelProvider.onDidChange(event => {
-            if (event.affects(uri)) {
-                this.setLabels(newEditor, uri);
-            }
-        });
-        newEditor.onDispose(() => labelListener.dispose());
-        newEditor.id = EditorWidgetFactory_1.createID(uri, options === null || options === void 0 ? void 0 : options.counter);
-        newEditor.title.closable = true;
-        return newEditor;
-    }
-    async constructEditor(uri) {
-        const textEditor = await this.editorProvider(uri);
-        return new editor_widget_1.EditorWidget(textEditor, this.selectionService);
-    }
-    setLabels(editor, uri) {
-        editor.title.caption = uri.path.fsPath();
-        if (editor.editor.isReadonly) {
-            editor.title.caption += ` • ${common_1.nls.localizeByDefault('Read Only')}`;
-        }
-        const icon = this.labelProvider.getIcon(uri);
-        editor.title.label = this.labelProvider.getName(uri);
-        editor.title.iconClass = icon + ' file-icon';
-    }
-};
-EditorWidgetFactory.ID = 'code-editor-opener';
-__decorate([
-    (0, inversify_1.inject)(browser_1.LabelProvider),
-    __metadata("design:type", browser_1.LabelProvider)
-], EditorWidgetFactory.prototype, "labelProvider", void 0);
-__decorate([
-    (0, inversify_1.inject)(editor_1.TextEditorProvider),
-    __metadata("design:type", Function)
-], EditorWidgetFactory.prototype, "editorProvider", void 0);
-__decorate([
-    (0, inversify_1.inject)(common_1.SelectionService),
-    __metadata("design:type", common_1.SelectionService)
-], EditorWidgetFactory.prototype, "selectionService", void 0);
-EditorWidgetFactory = EditorWidgetFactory_1 = __decorate([
-    (0, inversify_1.injectable)()
-], EditorWidgetFactory);
-exports.EditorWidgetFactory = EditorWidgetFactory;
+"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 EditorWidgetFactory_1;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.EditorWidgetFactory = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const uri_1 = require("@theia/core/lib/common/uri");
+const common_1 = require("@theia/core/lib/common");
+const browser_1 = require("@theia/core/lib/browser");
+const editor_widget_1 = require("./editor-widget");
+const editor_1 = require("./editor");
+let EditorWidgetFactory = EditorWidgetFactory_1 = class EditorWidgetFactory {
+    constructor() {
+        this.id = EditorWidgetFactory_1.ID;
+    }
+    static createID(uri, counter) {
+        return EditorWidgetFactory_1.ID
+            + `:${uri.toString()}`
+            + (counter !== undefined ? `:${counter}` : '');
+    }
+    createWidget(options) {
+        const uri = new uri_1.default(options.uri);
+        return this.createEditor(uri, options);
+    }
+    async createEditor(uri, options) {
+        const newEditor = await this.constructEditor(uri);
+        this.setLabels(newEditor, uri);
+        const labelListener = this.labelProvider.onDidChange(event => {
+            if (event.affects(uri)) {
+                this.setLabels(newEditor, uri);
+            }
+        });
+        newEditor.onDispose(() => labelListener.dispose());
+        newEditor.id = EditorWidgetFactory_1.createID(uri, options === null || options === void 0 ? void 0 : options.counter);
+        newEditor.title.closable = true;
+        return newEditor;
+    }
+    async constructEditor(uri) {
+        const textEditor = await this.editorProvider(uri);
+        return new editor_widget_1.EditorWidget(textEditor, this.selectionService);
+    }
+    setLabels(editor, uri) {
+        editor.title.caption = uri.path.fsPath();
+        if (editor.editor.isReadonly) {
+            editor.title.caption += ` • ${common_1.nls.localizeByDefault('Read Only')}`;
+        }
+        const icon = this.labelProvider.getIcon(uri);
+        editor.title.label = this.labelProvider.getName(uri);
+        editor.title.iconClass = icon + ' file-icon';
+    }
+};
+EditorWidgetFactory.ID = 'code-editor-opener';
+__decorate([
+    (0, inversify_1.inject)(browser_1.LabelProvider),
+    __metadata("design:type", browser_1.LabelProvider)
+], EditorWidgetFactory.prototype, "labelProvider", void 0);
+__decorate([
+    (0, inversify_1.inject)(editor_1.TextEditorProvider),
+    __metadata("design:type", Function)
+], EditorWidgetFactory.prototype, "editorProvider", void 0);
+__decorate([
+    (0, inversify_1.inject)(common_1.SelectionService),
+    __metadata("design:type", common_1.SelectionService)
+], EditorWidgetFactory.prototype, "selectionService", void 0);
+EditorWidgetFactory = EditorWidgetFactory_1 = __decorate([
+    (0, inversify_1.injectable)()
+], EditorWidgetFactory);
+exports.EditorWidgetFactory = EditorWidgetFactory;
 //# sourceMappingURL=editor-widget-factory.js.map

package/lib/browser/editor-widget.d.ts

@@ -1,21 +1,21 @@
-import { SelectionService, Event } from '@theia/core/lib/common';
-import { Widget, BaseWidget, Message, Saveable, SaveableSource, Navigatable, StatefulWidget } from '@theia/core/lib/browser';
-import URI from '@theia/core/lib/common/uri';
-import { TextEditor } from './editor';
-export declare class EditorWidget extends BaseWidget implements SaveableSource, Navigatable, StatefulWidget {
-    readonly editor: TextEditor;
-    protected readonly selectionService: SelectionService;
-    constructor(editor: TextEditor, selectionService: SelectionService);
-    setSelection(): void;
-    get saveable(): Saveable;
-    getResourceUri(): URI | undefined;
-    createMoveToUri(resourceUri: URI): URI | undefined;
-    protected onActivateRequest(msg: Message): void;
-    protected onAfterAttach(msg: Message): void;
-    protected onAfterShow(msg: Message): void;
-    protected onResize(msg: Widget.ResizeMessage): void;
-    storeState(): object | undefined;
-    restoreState(oldState: object): void;
-    get onDispose(): Event<void>;
-}
+import { SelectionService, Event } from '@theia/core/lib/common';
+import { Widget, BaseWidget, Message, Saveable, SaveableSource, Navigatable, StatefulWidget } from '@theia/core/lib/browser';
+import URI from '@theia/core/lib/common/uri';
+import { TextEditor } from './editor';
+export declare class EditorWidget extends BaseWidget implements SaveableSource, Navigatable, StatefulWidget {
+    readonly editor: TextEditor;
+    protected readonly selectionService: SelectionService;
+    constructor(editor: TextEditor, selectionService: SelectionService);
+    setSelection(): void;
+    get saveable(): Saveable;
+    getResourceUri(): URI | undefined;
+    createMoveToUri(resourceUri: URI): URI | undefined;
+    protected onActivateRequest(msg: Message): void;
+    protected onAfterAttach(msg: Message): void;
+    protected onAfterShow(msg: Message): void;
+    protected onResize(msg: Widget.ResizeMessage): void;
+    storeState(): object | undefined;
+    restoreState(oldState: object): void;
+    get onDispose(): Event<void>;
+}
 //# sourceMappingURL=editor-widget.d.ts.map

package/lib/browser/editor-widget.js

@@ -1,88 +1,88 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2017 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
-// *****************************************************************************
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.EditorWidget = void 0;
-const common_1 = require("@theia/core/lib/common");
-const browser_1 = require("@theia/core/lib/browser");
-class EditorWidget extends browser_1.BaseWidget {
-    constructor(editor, selectionService) {
-        super(editor);
-        this.editor = editor;
-        this.selectionService = selectionService;
-        this.addClass('theia-editor');
-        if (editor.isReadonly) {
-            (0, browser_1.lock)(this.title);
-        }
-        this.toDispose.push(this.editor);
-        this.toDispose.push(this.editor.onSelectionChanged(() => this.setSelection()));
-        this.toDispose.push(this.editor.onFocusChanged(() => this.setSelection()));
-        this.toDispose.push(common_1.Disposable.create(() => {
-            if (this.selectionService.selection === this.editor) {
-                this.selectionService.selection = undefined;
-            }
-        }));
-    }
-    setSelection() {
-        if (this.editor.isFocused() && this.selectionService.selection !== this.editor) {
-            this.selectionService.selection = this.editor;
-        }
-    }
-    get saveable() {
-        return this.editor.document;
-    }
-    getResourceUri() {
-        return this.editor.getResourceUri();
-    }
-    createMoveToUri(resourceUri) {
-        return this.editor.createMoveToUri(resourceUri);
-    }
-    onActivateRequest(msg) {
-        super.onActivateRequest(msg);
-        this.editor.focus();
-        this.selectionService.selection = this.editor;
-    }
-    onAfterAttach(msg) {
-        super.onAfterAttach(msg);
-        if (this.isVisible) {
-            this.editor.refresh();
-        }
-    }
-    onAfterShow(msg) {
-        super.onAfterShow(msg);
-        this.editor.refresh();
-    }
-    onResize(msg) {
-        if (msg.width < 0 || msg.height < 0) {
-            this.editor.resizeToFit();
-        }
-        else {
-            this.editor.setSize(msg);
-        }
-    }
-    storeState() {
-        var _a;
-        return ((_a = this.getResourceUri()) === null || _a === void 0 ? void 0 : _a.scheme) === common_1.UNTITLED_SCHEME ? undefined : this.editor.storeViewState();
-    }
-    restoreState(oldState) {
-        this.editor.restoreViewState(oldState);
-    }
-    get onDispose() {
-        return this.toDispose.onDispose;
-    }
-}
-exports.EditorWidget = EditorWidget;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2017 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
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.EditorWidget = void 0;
+const common_1 = require("@theia/core/lib/common");
+const browser_1 = require("@theia/core/lib/browser");
+class EditorWidget extends browser_1.BaseWidget {
+    constructor(editor, selectionService) {
+        super(editor);
+        this.editor = editor;
+        this.selectionService = selectionService;
+        this.addClass('theia-editor');
+        if (editor.isReadonly) {
+            (0, browser_1.lock)(this.title);
+        }
+        this.toDispose.push(this.editor);
+        this.toDispose.push(this.editor.onSelectionChanged(() => this.setSelection()));
+        this.toDispose.push(this.editor.onFocusChanged(() => this.setSelection()));
+        this.toDispose.push(common_1.Disposable.create(() => {
+            if (this.selectionService.selection === this.editor) {
+                this.selectionService.selection = undefined;
+            }
+        }));
+    }
+    setSelection() {
+        if (this.editor.isFocused() && this.selectionService.selection !== this.editor) {
+            this.selectionService.selection = this.editor;
+        }
+    }
+    get saveable() {
+        return this.editor.document;
+    }
+    getResourceUri() {
+        return this.editor.getResourceUri();
+    }
+    createMoveToUri(resourceUri) {
+        return this.editor.createMoveToUri(resourceUri);
+    }
+    onActivateRequest(msg) {
+        super.onActivateRequest(msg);
+        this.editor.focus();
+        this.selectionService.selection = this.editor;
+    }
+    onAfterAttach(msg) {
+        super.onAfterAttach(msg);
+        if (this.isVisible) {
+            this.editor.refresh();
+        }
+    }
+    onAfterShow(msg) {
+        super.onAfterShow(msg);
+        this.editor.refresh();
+    }
+    onResize(msg) {
+        if (msg.width < 0 || msg.height < 0) {
+            this.editor.resizeToFit();
+        }
+        else {
+            this.editor.setSize(msg);
+        }
+    }
+    storeState() {
+        var _a;
+        return ((_a = this.getResourceUri()) === null || _a === void 0 ? void 0 : _a.scheme) === common_1.UNTITLED_SCHEME ? undefined : this.editor.storeViewState();
+    }
+    restoreState(oldState) {
+        this.editor.restoreViewState(oldState);
+    }
+    get onDispose() {
+        return this.toDispose.onDispose;
+    }
+}
+exports.EditorWidget = EditorWidget;
 //# sourceMappingURL=editor-widget.js.map