@theia/editor-preview 1.34.3 → 1.34.4

package/lib/browser/editor-preview-manager.js

@@ -1,143 +1,143 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2018-2021 Google 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);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.EditorPreviewManager = void 0;
-const browser_1 = require("@theia/editor/lib/browser");
-const inversify_1 = require("@theia/core/shared/inversify");
-const editor_preview_preferences_1 = require("./editor-preview-preferences");
-const editor_preview_widget_factory_1 = require("./editor-preview-widget-factory");
-const editor_preview_widget_1 = require("./editor-preview-widget");
-const frontend_application_state_1 = require("@theia/core/lib/browser/frontend-application-state");
-let EditorPreviewManager = class EditorPreviewManager extends browser_1.EditorManager {
-    constructor() {
-        super(...arguments);
-        this.id = editor_preview_widget_factory_1.EditorPreviewWidgetFactory.ID;
-        /**
-         * Until the layout has been restored, widget state is not reliable, so we ignore creation events.
-         */
-        this.layoutIsSet = false;
-    }
-    init() {
-        super.init();
-        // All editors are created, but not all are opened. This sets up the logic to swap previews when the editor is attached.
-        this.onCreated((widget) => {
-            if (this.layoutIsSet && widget.isPreview) {
-                const oneTimeDisposable = widget.onDidChangeVisibility(() => {
-                    this.handleNewPreview(widget);
-                    oneTimeDisposable.dispose();
-                });
-            }
-        });
-        this.preferences.onPreferenceChanged(change => {
-            if (change.preferenceName === 'editor.enablePreview' && !change.newValue) {
-                this.all.forEach((editor) => {
-                    if (editor.isPreview) {
-                        editor.convertToNonPreview();
-                    }
-                });
-            }
-            ;
-        });
-        this.stateService.reachedState('initialized_layout').then(() => {
-            const editors = this.all;
-            const currentPreview = editors.find(editor => editor.isPreview);
-            if (currentPreview) {
-                this.handleNewPreview(currentPreview);
-            }
-            this.layoutIsSet = true;
-        });
-        document.addEventListener('dblclick', this.convertEditorOnDoubleClick.bind(this));
-    }
-    async doOpen(widget, options) {
-        const { preview, widgetOptions = { area: 'main' }, mode = 'activate' } = options !== null && options !== void 0 ? options : {};
-        if (!widget.isAttached) {
-            this.shell.addWidget(widget, widgetOptions);
-        }
-        else if (!preview && widget.isPreview) {
-            widget.convertToNonPreview();
-        }
-        if (mode === 'activate') {
-            await this.shell.activateWidget(widget.id);
-        }
-        else if (mode === 'reveal') {
-            await this.shell.revealWidget(widget.id);
-        }
-    }
-    handleNewPreview(newPreviewWidget) {
-        if (newPreviewWidget.isPreview) {
-            const tabbar = this.shell.getTabBarFor(newPreviewWidget);
-            if (tabbar) {
-                for (const title of tabbar.titles) {
-                    if (title.owner !== newPreviewWidget && title.owner instanceof editor_preview_widget_1.EditorPreviewWidget && title.owner.isPreview) {
-                        title.owner.dispose();
-                    }
-                }
-            }
-        }
-    }
-    tryGetPendingWidget(uri, options) {
-        var _a;
-        return (_a = super.tryGetPendingWidget(uri, Object.assign(Object.assign({}, options), { preview: true }))) !== null && _a !== void 0 ? _a : super.tryGetPendingWidget(uri, Object.assign(Object.assign({}, options), { preview: false }));
-    }
-    async getWidget(uri, options) {
-        var _a;
-        return (_a = (await super.getWidget(uri, Object.assign(Object.assign({}, options), { preview: true })))) !== null && _a !== void 0 ? _a : super.getWidget(uri, Object.assign(Object.assign({}, options), { preview: false }));
-    }
-    async getOrCreateWidget(uri, options) {
-        var _a;
-        return (_a = this.tryGetPendingWidget(uri, options)) !== null && _a !== void 0 ? _a : super.getOrCreateWidget(uri, options);
-    }
-    createWidgetOptions(uri, options) {
-        const navigatableOptions = super.createWidgetOptions(uri, options);
-        navigatableOptions.preview = !!((options === null || options === void 0 ? void 0 : options.preview) && this.preferences['editor.enablePreview']);
-        return navigatableOptions;
-    }
-    convertEditorOnDoubleClick(event) {
-        const widget = this.shell.findTargetedWidget(event);
-        if (widget instanceof editor_preview_widget_1.EditorPreviewWidget && widget.isPreview) {
-            widget.convertToNonPreview();
-        }
-    }
-};
-__decorate([
-    (0, inversify_1.inject)(editor_preview_preferences_1.EditorPreviewPreferences),
-    __metadata("design:type", Object)
-], EditorPreviewManager.prototype, "preferences", void 0);
-__decorate([
-    (0, inversify_1.inject)(frontend_application_state_1.FrontendApplicationStateService),
-    __metadata("design:type", frontend_application_state_1.FrontendApplicationStateService)
-], EditorPreviewManager.prototype, "stateService", void 0);
-__decorate([
-    (0, inversify_1.postConstruct)(),
-    __metadata("design:type", Function),
-    __metadata("design:paramtypes", []),
-    __metadata("design:returntype", void 0)
-], EditorPreviewManager.prototype, "init", null);
-EditorPreviewManager = __decorate([
-    (0, inversify_1.injectable)()
-], EditorPreviewManager);
-exports.EditorPreviewManager = EditorPreviewManager;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2018-2021 Google 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);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.EditorPreviewManager = void 0;
+const browser_1 = require("@theia/editor/lib/browser");
+const inversify_1 = require("@theia/core/shared/inversify");
+const editor_preview_preferences_1 = require("./editor-preview-preferences");
+const editor_preview_widget_factory_1 = require("./editor-preview-widget-factory");
+const editor_preview_widget_1 = require("./editor-preview-widget");
+const frontend_application_state_1 = require("@theia/core/lib/browser/frontend-application-state");
+let EditorPreviewManager = class EditorPreviewManager extends browser_1.EditorManager {
+    constructor() {
+        super(...arguments);
+        this.id = editor_preview_widget_factory_1.EditorPreviewWidgetFactory.ID;
+        /**
+         * Until the layout has been restored, widget state is not reliable, so we ignore creation events.
+         */
+        this.layoutIsSet = false;
+    }
+    init() {
+        super.init();
+        // All editors are created, but not all are opened. This sets up the logic to swap previews when the editor is attached.
+        this.onCreated((widget) => {
+            if (this.layoutIsSet && widget.isPreview) {
+                const oneTimeDisposable = widget.onDidChangeVisibility(() => {
+                    this.handleNewPreview(widget);
+                    oneTimeDisposable.dispose();
+                });
+            }
+        });
+        this.preferences.onPreferenceChanged(change => {
+            if (change.preferenceName === 'editor.enablePreview' && !change.newValue) {
+                this.all.forEach((editor) => {
+                    if (editor.isPreview) {
+                        editor.convertToNonPreview();
+                    }
+                });
+            }
+            ;
+        });
+        this.stateService.reachedState('initialized_layout').then(() => {
+            const editors = this.all;
+            const currentPreview = editors.find(editor => editor.isPreview);
+            if (currentPreview) {
+                this.handleNewPreview(currentPreview);
+            }
+            this.layoutIsSet = true;
+        });
+        document.addEventListener('dblclick', this.convertEditorOnDoubleClick.bind(this));
+    }
+    async doOpen(widget, options) {
+        const { preview, widgetOptions = { area: 'main' }, mode = 'activate' } = options !== null && options !== void 0 ? options : {};
+        if (!widget.isAttached) {
+            this.shell.addWidget(widget, widgetOptions);
+        }
+        else if (!preview && widget.isPreview) {
+            widget.convertToNonPreview();
+        }
+        if (mode === 'activate') {
+            await this.shell.activateWidget(widget.id);
+        }
+        else if (mode === 'reveal') {
+            await this.shell.revealWidget(widget.id);
+        }
+    }
+    handleNewPreview(newPreviewWidget) {
+        if (newPreviewWidget.isPreview) {
+            const tabbar = this.shell.getTabBarFor(newPreviewWidget);
+            if (tabbar) {
+                for (const title of tabbar.titles) {
+                    if (title.owner !== newPreviewWidget && title.owner instanceof editor_preview_widget_1.EditorPreviewWidget && title.owner.isPreview) {
+                        title.owner.dispose();
+                    }
+                }
+            }
+        }
+    }
+    tryGetPendingWidget(uri, options) {
+        var _a;
+        return (_a = super.tryGetPendingWidget(uri, Object.assign(Object.assign({}, options), { preview: true }))) !== null && _a !== void 0 ? _a : super.tryGetPendingWidget(uri, Object.assign(Object.assign({}, options), { preview: false }));
+    }
+    async getWidget(uri, options) {
+        var _a;
+        return (_a = (await super.getWidget(uri, Object.assign(Object.assign({}, options), { preview: true })))) !== null && _a !== void 0 ? _a : super.getWidget(uri, Object.assign(Object.assign({}, options), { preview: false }));
+    }
+    async getOrCreateWidget(uri, options) {
+        var _a;
+        return (_a = this.tryGetPendingWidget(uri, options)) !== null && _a !== void 0 ? _a : super.getOrCreateWidget(uri, options);
+    }
+    createWidgetOptions(uri, options) {
+        const navigatableOptions = super.createWidgetOptions(uri, options);
+        navigatableOptions.preview = !!((options === null || options === void 0 ? void 0 : options.preview) && this.preferences['editor.enablePreview']);
+        return navigatableOptions;
+    }
+    convertEditorOnDoubleClick(event) {
+        const widget = this.shell.findTargetedWidget(event);
+        if (widget instanceof editor_preview_widget_1.EditorPreviewWidget && widget.isPreview) {
+            widget.convertToNonPreview();
+        }
+    }
+};
+__decorate([
+    (0, inversify_1.inject)(editor_preview_preferences_1.EditorPreviewPreferences),
+    __metadata("design:type", Object)
+], EditorPreviewManager.prototype, "preferences", void 0);
+__decorate([
+    (0, inversify_1.inject)(frontend_application_state_1.FrontendApplicationStateService),
+    __metadata("design:type", frontend_application_state_1.FrontendApplicationStateService)
+], EditorPreviewManager.prototype, "stateService", void 0);
+__decorate([
+    (0, inversify_1.postConstruct)(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", void 0)
+], EditorPreviewManager.prototype, "init", null);
+EditorPreviewManager = __decorate([
+    (0, inversify_1.injectable)()
+], EditorPreviewManager);
+exports.EditorPreviewManager = EditorPreviewManager;
 //# sourceMappingURL=editor-preview-manager.js.map

package/lib/browser/editor-preview-preferences.d.ts

@@ -1,12 +1,12 @@
-import { interfaces } from '@theia/core/shared/inversify';
-import { PreferenceProxy, PreferenceService, PreferenceSchema } from '@theia/core/lib/browser';
-export declare const EditorPreviewConfigSchema: PreferenceSchema;
-export interface EditorPreviewConfiguration {
-    'editor.enablePreview': boolean;
-}
-export declare const EditorPreviewPreferenceContribution: unique symbol;
-export declare const EditorPreviewPreferences: unique symbol;
-export declare type EditorPreviewPreferences = PreferenceProxy<EditorPreviewConfiguration>;
-export declare function createEditorPreviewPreferences(preferences: PreferenceService, schema?: PreferenceSchema): EditorPreviewPreferences;
-export declare function bindEditorPreviewPreferences(bind: interfaces.Bind): void;
+import { interfaces } from '@theia/core/shared/inversify';
+import { PreferenceProxy, PreferenceService, PreferenceSchema } from '@theia/core/lib/browser';
+export declare const EditorPreviewConfigSchema: PreferenceSchema;
+export interface EditorPreviewConfiguration {
+    'editor.enablePreview': boolean;
+}
+export declare const EditorPreviewPreferenceContribution: unique symbol;
+export declare const EditorPreviewPreferences: unique symbol;
+export declare type EditorPreviewPreferences = PreferenceProxy<EditorPreviewConfiguration>;
+export declare function createEditorPreviewPreferences(preferences: PreferenceService, schema?: PreferenceSchema): EditorPreviewPreferences;
+export declare function bindEditorPreviewPreferences(bind: interfaces.Bind): void;
 //# sourceMappingURL=editor-preview-preferences.d.ts.map

package/lib/browser/editor-preview-preferences.js

@@ -1,48 +1,48 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2018 Google 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.bindEditorPreviewPreferences = exports.createEditorPreviewPreferences = exports.EditorPreviewPreferences = exports.EditorPreviewPreferenceContribution = exports.EditorPreviewConfigSchema = void 0;
-const browser_1 = require("@theia/core/lib/browser");
-const nls_1 = require("@theia/core/lib/common/nls");
-exports.EditorPreviewConfigSchema = {
-    'type': 'object',
-    properties: {
-        'editor.enablePreview': {
-            type: 'boolean',
-            // eslint-disable-next-line max-len
-            description: nls_1.nls.localizeByDefault('Controls whether opened editors show as preview editors. Preview editors do not stay open, are reused until explicitly set to be kept open (e.g. via double click or editing), and show file names in italics.'),
-            default: true
-        },
-    }
-};
-exports.EditorPreviewPreferenceContribution = Symbol('EditorPreviewPreferenceContribution');
-exports.EditorPreviewPreferences = Symbol('EditorPreviewPreferences');
-function createEditorPreviewPreferences(preferences, schema = exports.EditorPreviewConfigSchema) {
-    return (0, browser_1.createPreferenceProxy)(preferences, schema);
-}
-exports.createEditorPreviewPreferences = createEditorPreviewPreferences;
-function bindEditorPreviewPreferences(bind) {
-    bind(exports.EditorPreviewPreferences).toDynamicValue(ctx => {
-        const preferences = ctx.container.get(browser_1.PreferenceService);
-        const contribution = ctx.container.get(exports.EditorPreviewPreferenceContribution);
-        return createEditorPreviewPreferences(preferences, contribution.schema);
-    }).inSingletonScope();
-    bind(exports.EditorPreviewPreferenceContribution).toConstantValue({ schema: exports.EditorPreviewConfigSchema });
-    bind(browser_1.PreferenceContribution).toService(exports.EditorPreviewPreferenceContribution);
-}
-exports.bindEditorPreviewPreferences = bindEditorPreviewPreferences;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2018 Google 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.bindEditorPreviewPreferences = exports.createEditorPreviewPreferences = exports.EditorPreviewPreferences = exports.EditorPreviewPreferenceContribution = exports.EditorPreviewConfigSchema = void 0;
+const browser_1 = require("@theia/core/lib/browser");
+const nls_1 = require("@theia/core/lib/common/nls");
+exports.EditorPreviewConfigSchema = {
+    'type': 'object',
+    properties: {
+        'editor.enablePreview': {
+            type: 'boolean',
+            // eslint-disable-next-line max-len
+            description: nls_1.nls.localizeByDefault('Controls whether opened editors show as preview editors. Preview editors do not stay open, are reused until explicitly set to be kept open (e.g. via double click or editing), and show file names in italics.'),
+            default: true
+        },
+    }
+};
+exports.EditorPreviewPreferenceContribution = Symbol('EditorPreviewPreferenceContribution');
+exports.EditorPreviewPreferences = Symbol('EditorPreviewPreferences');
+function createEditorPreviewPreferences(preferences, schema = exports.EditorPreviewConfigSchema) {
+    return (0, browser_1.createPreferenceProxy)(preferences, schema);
+}
+exports.createEditorPreviewPreferences = createEditorPreviewPreferences;
+function bindEditorPreviewPreferences(bind) {
+    bind(exports.EditorPreviewPreferences).toDynamicValue(ctx => {
+        const preferences = ctx.container.get(browser_1.PreferenceService);
+        const contribution = ctx.container.get(exports.EditorPreviewPreferenceContribution);
+        return createEditorPreviewPreferences(preferences, contribution.schema);
+    }).inSingletonScope();
+    bind(exports.EditorPreviewPreferenceContribution).toConstantValue({ schema: exports.EditorPreviewConfigSchema });
+    bind(browser_1.PreferenceContribution).toService(exports.EditorPreviewPreferenceContribution);
+}
+exports.bindEditorPreviewPreferences = bindEditorPreviewPreferences;
 //# sourceMappingURL=editor-preview-preferences.js.map

package/lib/browser/editor-preview-tree-decorator.d.ts

@@ -1,24 +1,24 @@
-import { TreeDecorator, TreeDecoration } from '@theia/core/lib/browser/tree/tree-decorator';
-import { Emitter } from '@theia/core/lib/common/event';
-import { Tree } from '@theia/core/lib/browser/tree/tree';
-import { ApplicationShell, FrontendApplication, FrontendApplicationContribution, NavigatableWidget, Widget } from '@theia/core/lib/browser';
-import { Disposable } from '@theia/core/lib/common';
-import { EditorPreviewManager } from './editor-preview-manager';
-export declare class EditorPreviewTreeDecorator implements TreeDecorator, FrontendApplicationContribution {
-    protected readonly editorPreviewManager: EditorPreviewManager;
-    protected readonly shell: ApplicationShell;
-    readonly id = "theia-open-editors-file-decorator";
-    protected decorationsMap: Map<string, TreeDecoration.Data>;
-    protected readonly decorationsChangedEmitter: Emitter<any>;
-    readonly onDidChangeDecorations: import("@theia/core/lib/common").Event<any>;
-    protected readonly toDisposeOnDirtyChanged: Map<string, Disposable>;
-    protected readonly toDisposeOnPreviewPinned: Map<string, Disposable>;
-    onDidInitializeLayout(app: FrontendApplication): void;
-    protected registerEditorListeners(widget: Widget): void;
-    protected unregisterEditorListeners(widget: Widget): void;
-    protected get editorWidgets(): NavigatableWidget[];
-    protected fireDidChangeDecorations(event: (tree: Tree) => Map<string, TreeDecoration.Data>): void;
-    decorations(tree: Tree): Map<string, TreeDecoration.Data>;
-    protected collectDecorators(tree: Tree): Map<string, TreeDecoration.Data>;
-}
+import { TreeDecorator, TreeDecoration } from '@theia/core/lib/browser/tree/tree-decorator';
+import { Emitter } from '@theia/core/lib/common/event';
+import { Tree } from '@theia/core/lib/browser/tree/tree';
+import { ApplicationShell, FrontendApplication, FrontendApplicationContribution, NavigatableWidget, Widget } from '@theia/core/lib/browser';
+import { Disposable } from '@theia/core/lib/common';
+import { EditorPreviewManager } from './editor-preview-manager';
+export declare class EditorPreviewTreeDecorator implements TreeDecorator, FrontendApplicationContribution {
+    protected readonly editorPreviewManager: EditorPreviewManager;
+    protected readonly shell: ApplicationShell;
+    readonly id = "theia-open-editors-file-decorator";
+    protected decorationsMap: Map<string, TreeDecoration.Data>;
+    protected readonly decorationsChangedEmitter: Emitter<any>;
+    readonly onDidChangeDecorations: import("@theia/core/lib/common").Event<any>;
+    protected readonly toDisposeOnDirtyChanged: Map<string, Disposable>;
+    protected readonly toDisposeOnPreviewPinned: Map<string, Disposable>;
+    onDidInitializeLayout(app: FrontendApplication): void;
+    protected registerEditorListeners(widget: Widget): void;
+    protected unregisterEditorListeners(widget: Widget): void;
+    protected get editorWidgets(): NavigatableWidget[];
+    protected fireDidChangeDecorations(event: (tree: Tree) => Map<string, TreeDecoration.Data>): void;
+    decorations(tree: Tree): Map<string, TreeDecoration.Data>;
+    protected collectDecorators(tree: Tree): Map<string, TreeDecoration.Data>;
+}
 //# sourceMappingURL=editor-preview-tree-decorator.d.ts.map