@theia/console 1.34.2 → 1.34.3

package/lib/browser/console-session-manager.js

@@ -1,117 +1,117 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2021 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;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ConsoleSessionManager = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const core_1 = require("@theia/core");
-const severity_1 = require("@theia/core/lib/common/severity");
-let ConsoleSessionManager = class ConsoleSessionManager {
-    constructor() {
-        this.sessions = new Map();
-        this.sessionAddedEmitter = new core_1.Emitter();
-        this.sessionDeletedEmitter = new core_1.Emitter();
-        this.sessionWasShownEmitter = new core_1.Emitter();
-        this.sessionWasHiddenEmitter = new core_1.Emitter();
-        this.selectedSessionChangedEmitter = new core_1.Emitter();
-        this.severityChangedEmitter = new core_1.Emitter();
-        this.toDispose = new core_1.DisposableCollection();
-        this.toDisposeOnSessionDeletion = new Map();
-    }
-    get onDidAddSession() {
-        return this.sessionAddedEmitter.event;
-    }
-    get onDidDeleteSession() {
-        return this.sessionDeletedEmitter.event;
-    }
-    get onDidShowSession() {
-        return this.sessionWasShownEmitter.event;
-    }
-    get onDidHideSession() {
-        return this.sessionWasHiddenEmitter.event;
-    }
-    get onDidChangeSelectedSession() {
-        return this.selectedSessionChangedEmitter.event;
-    }
-    get onDidChangeSeverity() {
-        return this.severityChangedEmitter.event;
-    }
-    dispose() {
-        this.toDispose.dispose();
-    }
-    get severity() {
-        return this._severity;
-    }
-    set severity(value) {
-        value = value || severity_1.Severity.Ignore;
-        this._severity = value;
-        for (const session of this.sessions.values()) {
-            session.severity = value;
-        }
-        this.severityChangedEmitter.fire(undefined);
-    }
-    get all() {
-        return Array.from(this.sessions.values());
-    }
-    get selectedSession() {
-        return this._selectedSession;
-    }
-    set selectedSession(session) {
-        const oldSession = this.selectedSession;
-        this._selectedSession = session;
-        this.selectedSessionChangedEmitter.fire(session);
-        if (oldSession !== session) {
-            if (oldSession) {
-                this.sessionWasHiddenEmitter.fire(oldSession);
-            }
-            if (session) {
-                this.sessionWasShownEmitter.fire(session);
-            }
-        }
-    }
-    get(id) {
-        return this.sessions.get(id);
-    }
-    add(session) {
-        this.sessions.set(session.id, session);
-        this.sessionAddedEmitter.fire(session);
-        if (this.sessions.size === 1) {
-            this.selectedSession = session;
-        }
-    }
-    delete(id) {
-        const session = this.sessions.get(id);
-        if (this.sessions.delete(id) && session) {
-            if (this.selectedSession === session) {
-                // select a new sessions or undefined if none are left
-                this.selectedSession = this.sessions.values().next().value;
-            }
-            session.dispose();
-            this.sessionDeletedEmitter.fire(session);
-        }
-    }
-};
-ConsoleSessionManager = __decorate([
-    (0, inversify_1.injectable)()
-], ConsoleSessionManager);
-exports.ConsoleSessionManager = ConsoleSessionManager;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2021 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;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ConsoleSessionManager = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const core_1 = require("@theia/core");
+const severity_1 = require("@theia/core/lib/common/severity");
+let ConsoleSessionManager = class ConsoleSessionManager {
+    constructor() {
+        this.sessions = new Map();
+        this.sessionAddedEmitter = new core_1.Emitter();
+        this.sessionDeletedEmitter = new core_1.Emitter();
+        this.sessionWasShownEmitter = new core_1.Emitter();
+        this.sessionWasHiddenEmitter = new core_1.Emitter();
+        this.selectedSessionChangedEmitter = new core_1.Emitter();
+        this.severityChangedEmitter = new core_1.Emitter();
+        this.toDispose = new core_1.DisposableCollection();
+        this.toDisposeOnSessionDeletion = new Map();
+    }
+    get onDidAddSession() {
+        return this.sessionAddedEmitter.event;
+    }
+    get onDidDeleteSession() {
+        return this.sessionDeletedEmitter.event;
+    }
+    get onDidShowSession() {
+        return this.sessionWasShownEmitter.event;
+    }
+    get onDidHideSession() {
+        return this.sessionWasHiddenEmitter.event;
+    }
+    get onDidChangeSelectedSession() {
+        return this.selectedSessionChangedEmitter.event;
+    }
+    get onDidChangeSeverity() {
+        return this.severityChangedEmitter.event;
+    }
+    dispose() {
+        this.toDispose.dispose();
+    }
+    get severity() {
+        return this._severity;
+    }
+    set severity(value) {
+        value = value || severity_1.Severity.Ignore;
+        this._severity = value;
+        for (const session of this.sessions.values()) {
+            session.severity = value;
+        }
+        this.severityChangedEmitter.fire(undefined);
+    }
+    get all() {
+        return Array.from(this.sessions.values());
+    }
+    get selectedSession() {
+        return this._selectedSession;
+    }
+    set selectedSession(session) {
+        const oldSession = this.selectedSession;
+        this._selectedSession = session;
+        this.selectedSessionChangedEmitter.fire(session);
+        if (oldSession !== session) {
+            if (oldSession) {
+                this.sessionWasHiddenEmitter.fire(oldSession);
+            }
+            if (session) {
+                this.sessionWasShownEmitter.fire(session);
+            }
+        }
+    }
+    get(id) {
+        return this.sessions.get(id);
+    }
+    add(session) {
+        this.sessions.set(session.id, session);
+        this.sessionAddedEmitter.fire(session);
+        if (this.sessions.size === 1) {
+            this.selectedSession = session;
+        }
+    }
+    delete(id) {
+        const session = this.sessions.get(id);
+        if (this.sessions.delete(id) && session) {
+            if (this.selectedSession === session) {
+                // select a new sessions or undefined if none are left
+                this.selectedSession = this.sessions.values().next().value;
+            }
+            session.dispose();
+            this.sessionDeletedEmitter.fire(session);
+        }
+    }
+};
+ConsoleSessionManager = __decorate([
+    (0, inversify_1.injectable)()
+], ConsoleSessionManager);
+exports.ConsoleSessionManager = ConsoleSessionManager;
 //# sourceMappingURL=console-session-manager.js.map

package/lib/browser/console-session.d.ts

@@ -1,28 +1,28 @@
-import { MaybePromise } from '@theia/core/lib/common/types';
-import { TreeSource, TreeElement, CompositeTreeElement } from '@theia/core/lib/browser/source-tree';
-import { Emitter } from '@theia/core/lib/common/event';
-import { Severity } from '@theia/core/lib/common/severity';
-export interface ConsoleItem extends TreeElement {
-    readonly severity?: Severity;
-}
-export declare namespace ConsoleItem {
-    const errorClassName = "theia-console-error";
-    const warningClassName = "theia-console-warning";
-    const infoClassName = "theia-console-info";
-    const logClassName = "theia-console-log";
-}
-export interface CompositeConsoleItem extends ConsoleItem, CompositeTreeElement {
-    getElements(): MaybePromise<IterableIterator<ConsoleItem>>;
-}
-export declare abstract class ConsoleSession extends TreeSource {
-    protected selectedSeverity?: Severity;
-    protected readonly selectionEmitter: Emitter<void>;
-    readonly onSelectionChange: import("@theia/core/lib/common/event").Event<void>;
-    id: string;
-    get severity(): Severity | undefined;
-    set severity(severity: Severity | undefined);
-    abstract getElements(): MaybePromise<IterableIterator<ConsoleItem>>;
-    abstract execute(value: string): MaybePromise<void>;
-    abstract clear(): MaybePromise<void>;
-}
+import { MaybePromise } from '@theia/core/lib/common/types';
+import { TreeSource, TreeElement, CompositeTreeElement } from '@theia/core/lib/browser/source-tree';
+import { Emitter } from '@theia/core/lib/common/event';
+import { Severity } from '@theia/core/lib/common/severity';
+export interface ConsoleItem extends TreeElement {
+    readonly severity?: Severity;
+}
+export declare namespace ConsoleItem {
+    const errorClassName = "theia-console-error";
+    const warningClassName = "theia-console-warning";
+    const infoClassName = "theia-console-info";
+    const logClassName = "theia-console-log";
+}
+export interface CompositeConsoleItem extends ConsoleItem, CompositeTreeElement {
+    getElements(): MaybePromise<IterableIterator<ConsoleItem>>;
+}
+export declare abstract class ConsoleSession extends TreeSource {
+    protected selectedSeverity?: Severity;
+    protected readonly selectionEmitter: Emitter<void>;
+    readonly onSelectionChange: import("@theia/core/lib/common/event").Event<void>;
+    id: string;
+    get severity(): Severity | undefined;
+    set severity(severity: Severity | undefined);
+    abstract getElements(): MaybePromise<IterableIterator<ConsoleItem>>;
+    abstract execute(value: string): MaybePromise<void>;
+    abstract clear(): MaybePromise<void>;
+}
 //# sourceMappingURL=console-session.d.ts.map

package/lib/browser/console-session.js

@@ -1,57 +1,57 @@
-"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;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ConsoleSession = exports.ConsoleItem = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const source_tree_1 = require("@theia/core/lib/browser/source-tree");
-const event_1 = require("@theia/core/lib/common/event");
-var ConsoleItem;
-(function (ConsoleItem) {
-    ConsoleItem.errorClassName = 'theia-console-error';
-    ConsoleItem.warningClassName = 'theia-console-warning';
-    ConsoleItem.infoClassName = 'theia-console-info';
-    ConsoleItem.logClassName = 'theia-console-log';
-})(ConsoleItem = exports.ConsoleItem || (exports.ConsoleItem = {}));
-let ConsoleSession = class ConsoleSession extends source_tree_1.TreeSource {
-    constructor() {
-        super(...arguments);
-        this.selectionEmitter = new event_1.Emitter();
-        this.onSelectionChange = this.selectionEmitter.event;
-    }
-    get severity() {
-        return this.selectedSeverity;
-    }
-    set severity(severity) {
-        if (severity === this.selectedSeverity) {
-            return;
-        }
-        this.selectedSeverity = severity;
-        this.selectionEmitter.fire(undefined);
-        this.fireDidChange();
-    }
-};
-ConsoleSession = __decorate([
-    (0, inversify_1.injectable)()
-], ConsoleSession);
-exports.ConsoleSession = ConsoleSession;
+"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;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ConsoleSession = exports.ConsoleItem = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const source_tree_1 = require("@theia/core/lib/browser/source-tree");
+const event_1 = require("@theia/core/lib/common/event");
+var ConsoleItem;
+(function (ConsoleItem) {
+    ConsoleItem.errorClassName = 'theia-console-error';
+    ConsoleItem.warningClassName = 'theia-console-warning';
+    ConsoleItem.infoClassName = 'theia-console-info';
+    ConsoleItem.logClassName = 'theia-console-log';
+})(ConsoleItem = exports.ConsoleItem || (exports.ConsoleItem = {}));
+let ConsoleSession = class ConsoleSession extends source_tree_1.TreeSource {
+    constructor() {
+        super(...arguments);
+        this.selectionEmitter = new event_1.Emitter();
+        this.onSelectionChange = this.selectionEmitter.event;
+    }
+    get severity() {
+        return this.selectedSeverity;
+    }
+    set severity(severity) {
+        if (severity === this.selectedSeverity) {
+            return;
+        }
+        this.selectedSeverity = severity;
+        this.selectionEmitter.fire(undefined);
+        this.fireDidChange();
+    }
+};
+ConsoleSession = __decorate([
+    (0, inversify_1.injectable)()
+], ConsoleSession);
+exports.ConsoleSession = ConsoleSession;
 //# sourceMappingURL=console-session.js.map

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

@@ -1,63 +1,63 @@
-import { interfaces, Container } from '@theia/core/shared/inversify';
-import { ContextKey } from '@theia/core/lib/browser/context-key-service';
-import { BaseWidget, Widget, Message, StatefulWidget } from '@theia/core/lib/browser';
-import { MonacoEditor } from '@theia/monaco/lib/browser/monaco-editor';
-import URI from '@theia/core/lib/common/uri';
-import { MonacoEditorProvider } from '@theia/monaco/lib/browser/monaco-editor-provider';
-import { ConsoleHistory } from './console-history';
-import { ConsoleContentWidget } from './console-content-widget';
-import { ConsoleSession } from './console-session';
-import { ConsoleSessionManager } from './console-session-manager';
-export declare const ConsoleOptions: unique symbol;
-export interface ConsoleOptions {
-    id: string;
-    title?: {
-        label?: string;
-        iconClass?: string;
-        caption?: string;
-    };
-    input: {
-        uri: URI;
-        options?: MonacoEditor.IOptions;
-    };
-    inputFocusContextKey?: ContextKey<boolean>;
-}
-export declare class ConsoleWidget extends BaseWidget implements StatefulWidget {
-    static styles: {
-        node: string;
-        content: string;
-        input: string;
-    };
-    static createContainer(parent: interfaces.Container, options: ConsoleOptions): Container;
-    protected readonly options: ConsoleOptions;
-    readonly content: ConsoleContentWidget;
-    protected readonly history: ConsoleHistory;
-    protected readonly sessionManager: ConsoleSessionManager;
-    protected readonly editorProvider: MonacoEditorProvider;
-    protected _input: MonacoEditor;
-    constructor();
-    protected init(): Promise<void>;
-    protected createInput(node: HTMLElement): Promise<MonacoEditor>;
-    protected updateFont(): void;
-    protected _session: ConsoleSession | undefined;
-    set session(session: ConsoleSession | undefined);
-    get session(): ConsoleSession | undefined;
-    get input(): MonacoEditor;
-    selectAll(): void;
-    collapseAll(): void;
-    clear(): void;
-    execute(): Promise<void>;
-    navigateBack(): void;
-    navigateForward(): void;
-    protected revealLastOutput(): void;
-    protected onActivateRequest(msg: Message): void;
-    protected totalHeight: number;
-    protected totalWidth: number;
-    protected onResize(msg: Widget.ResizeMessage): void;
-    protected resizeContent(): void;
-    protected computeHeight(): number;
-    storeState(): object;
-    restoreState(oldState: object): void;
-    hasInputFocus(): boolean;
-}
+import { interfaces, Container } from '@theia/core/shared/inversify';
+import { ContextKey } from '@theia/core/lib/browser/context-key-service';
+import { BaseWidget, Widget, Message, StatefulWidget } from '@theia/core/lib/browser';
+import { MonacoEditor } from '@theia/monaco/lib/browser/monaco-editor';
+import URI from '@theia/core/lib/common/uri';
+import { MonacoEditorProvider } from '@theia/monaco/lib/browser/monaco-editor-provider';
+import { ConsoleHistory } from './console-history';
+import { ConsoleContentWidget } from './console-content-widget';
+import { ConsoleSession } from './console-session';
+import { ConsoleSessionManager } from './console-session-manager';
+export declare const ConsoleOptions: unique symbol;
+export interface ConsoleOptions {
+    id: string;
+    title?: {
+        label?: string;
+        iconClass?: string;
+        caption?: string;
+    };
+    input: {
+        uri: URI;
+        options?: MonacoEditor.IOptions;
+    };
+    inputFocusContextKey?: ContextKey<boolean>;
+}
+export declare class ConsoleWidget extends BaseWidget implements StatefulWidget {
+    static styles: {
+        node: string;
+        content: string;
+        input: string;
+    };
+    static createContainer(parent: interfaces.Container, options: ConsoleOptions): Container;
+    protected readonly options: ConsoleOptions;
+    readonly content: ConsoleContentWidget;
+    protected readonly history: ConsoleHistory;
+    protected readonly sessionManager: ConsoleSessionManager;
+    protected readonly editorProvider: MonacoEditorProvider;
+    protected _input: MonacoEditor;
+    constructor();
+    protected init(): Promise<void>;
+    protected createInput(node: HTMLElement): Promise<MonacoEditor>;
+    protected updateFont(): void;
+    protected _session: ConsoleSession | undefined;
+    set session(session: ConsoleSession | undefined);
+    get session(): ConsoleSession | undefined;
+    get input(): MonacoEditor;
+    selectAll(): void;
+    collapseAll(): void;
+    clear(): void;
+    execute(): Promise<void>;
+    navigateBack(): void;
+    navigateForward(): void;
+    protected revealLastOutput(): void;
+    protected onActivateRequest(msg: Message): void;
+    protected totalHeight: number;
+    protected totalWidth: number;
+    protected onResize(msg: Widget.ResizeMessage): void;
+    protected resizeContent(): void;
+    protected computeHeight(): number;
+    storeState(): object;
+    restoreState(oldState: object): void;
+    hasInputFocus(): boolean;
+}
 //# sourceMappingURL=console-widget.d.ts.map