@theia/console 1.34.2 → 1.34.3

package/src/browser/console-history.ts

@@ -1,76 +1,76 @@
-// *****************************************************************************
-// 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
-// *****************************************************************************
-
-import { injectable } from '@theia/core/shared/inversify';
-
-@injectable()
-export class ConsoleHistory {
-
-    static limit = 50;
-
-    protected values: string[] = [];
-    protected index = -1;
-
-    push(value: string): void {
-        this.delete(value);
-        this.values.push(value);
-        this.trim();
-        this.index = this.values.length;
-    }
-    protected delete(value: string): void {
-        const index = this.values.indexOf(value);
-        if (index !== -1) {
-            this.values.splice(index, 1);
-        }
-    }
-    protected trim(): void {
-        const index = this.values.length - ConsoleHistory.limit;
-        if (index > 0) {
-            this.values = this.values.slice(index);
-        }
-    }
-
-    get current(): string | undefined {
-        return this.values[this.index];
-    }
-
-    get previous(): string | undefined {
-        this.index = Math.max(this.index - 1, -1);
-        return this.current;
-    }
-
-    get next(): string | undefined {
-        this.index = Math.min(this.index + 1, this.values.length);
-        return this.current;
-    }
-
-    store(): ConsoleHistory.Data {
-        const { values, index } = this;
-        return { values, index };
-    }
-
-    restore(object: ConsoleHistory): void {
-        this.values = object.values;
-        this.index = object.index;
-    }
-
-}
-export namespace ConsoleHistory {
-    export interface Data {
-        values: string[],
-        index: number
-    }
-}
+// *****************************************************************************
+// 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
+// *****************************************************************************
+
+import { injectable } from '@theia/core/shared/inversify';
+
+@injectable()
+export class ConsoleHistory {
+
+    static limit = 50;
+
+    protected values: string[] = [];
+    protected index = -1;
+
+    push(value: string): void {
+        this.delete(value);
+        this.values.push(value);
+        this.trim();
+        this.index = this.values.length;
+    }
+    protected delete(value: string): void {
+        const index = this.values.indexOf(value);
+        if (index !== -1) {
+            this.values.splice(index, 1);
+        }
+    }
+    protected trim(): void {
+        const index = this.values.length - ConsoleHistory.limit;
+        if (index > 0) {
+            this.values = this.values.slice(index);
+        }
+    }
+
+    get current(): string | undefined {
+        return this.values[this.index];
+    }
+
+    get previous(): string | undefined {
+        this.index = Math.max(this.index - 1, -1);
+        return this.current;
+    }
+
+    get next(): string | undefined {
+        this.index = Math.min(this.index + 1, this.values.length);
+        return this.current;
+    }
+
+    store(): ConsoleHistory.Data {
+        const { values, index } = this;
+        return { values, index };
+    }
+
+    restore(object: ConsoleHistory): void {
+        this.values = object.values;
+        this.index = object.index;
+    }
+
+}
+export namespace ConsoleHistory {
+    export interface Data {
+        values: string[],
+        index: number
+    }
+}

package/src/browser/console-keybinding-contexts.ts

@@ -1,107 +1,107 @@
-// *****************************************************************************
-// 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
-// *****************************************************************************
-
-import { injectable, inject } from '@theia/core/shared/inversify';
-import { KeybindingContext } from '@theia/core/lib/browser';
-import { ConsoleManager } from './console-manager';
-import { ConsoleWidget } from './console-widget';
-
-export namespace ConsoleKeybindingContexts {
-
-    /**
-     * ID of a keybinding context that is enabled when the console content has the focus.
-     */
-    export const consoleContentFocus = 'consoleContentFocus';
-
-    /**
-     * ID of a keybinding context that is enabled when the console input has the focus.
-     */
-    export const consoleInputFocus = 'consoleInputFocus';
-
-    /**
-     * ID of a keybinding context that is enabled when the console history navigation back is enabled.
-     */
-    export const consoleNavigationBackEnabled = 'consoleNavigationBackEnabled';
-
-    /**
-     * ID of a keybinding context that is enabled when the console history navigation forward is enabled.
-     */
-    export const consoleNavigationForwardEnabled = 'consoleNavigationForwardEnabled';
-
-}
-
-@injectable()
-export class ConsoleInputFocusContext implements KeybindingContext {
-
-    readonly id: string = ConsoleKeybindingContexts.consoleInputFocus;
-
-    @inject(ConsoleManager)
-    protected readonly manager: ConsoleManager;
-
-    isEnabled(): boolean {
-        const console = this.manager.activeConsole;
-        return !!console && this.isConsoleEnabled(console);
-    }
-
-    protected isConsoleEnabled(console: ConsoleWidget): boolean {
-        return console.hasInputFocus();
-    }
-
-}
-
-@injectable()
-export class ConsoleContentFocusContext extends ConsoleInputFocusContext {
-
-    override readonly id: string = ConsoleKeybindingContexts.consoleContentFocus;
-
-    protected override isConsoleEnabled(console: ConsoleWidget): boolean {
-        return !console.input.isFocused();
-    }
-
-}
-
-@injectable()
-export class ConsoleNavigationBackEnabled extends ConsoleInputFocusContext {
-
-    override readonly id: string = ConsoleKeybindingContexts.consoleNavigationBackEnabled;
-
-    protected override isConsoleEnabled(console: ConsoleWidget): boolean {
-        if (!super.isConsoleEnabled(console)) {
-            return false;
-        }
-        const editor = console.input.getControl();
-        return editor.getPosition()!.equals({ lineNumber: 1, column: 1 });
-    }
-
-}
-
-@injectable()
-export class ConsoleNavigationForwardEnabled extends ConsoleInputFocusContext {
-
-    override readonly id: string = ConsoleKeybindingContexts.consoleNavigationForwardEnabled;
-
-    protected override isConsoleEnabled(console: ConsoleWidget): boolean {
-        if (!super.isConsoleEnabled(console)) {
-            return false;
-        }
-        const editor = console.input.getControl();
-        const model = console.input.getControl().getModel()!;
-        const lineNumber = model.getLineCount();
-        const column = model.getLineMaxColumn(lineNumber);
-        return editor.getPosition()!.equals({ lineNumber, column });
-    }
-
-}
+// *****************************************************************************
+// 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
+// *****************************************************************************
+
+import { injectable, inject } from '@theia/core/shared/inversify';
+import { KeybindingContext } from '@theia/core/lib/browser';
+import { ConsoleManager } from './console-manager';
+import { ConsoleWidget } from './console-widget';
+
+export namespace ConsoleKeybindingContexts {
+
+    /**
+     * ID of a keybinding context that is enabled when the console content has the focus.
+     */
+    export const consoleContentFocus = 'consoleContentFocus';
+
+    /**
+     * ID of a keybinding context that is enabled when the console input has the focus.
+     */
+    export const consoleInputFocus = 'consoleInputFocus';
+
+    /**
+     * ID of a keybinding context that is enabled when the console history navigation back is enabled.
+     */
+    export const consoleNavigationBackEnabled = 'consoleNavigationBackEnabled';
+
+    /**
+     * ID of a keybinding context that is enabled when the console history navigation forward is enabled.
+     */
+    export const consoleNavigationForwardEnabled = 'consoleNavigationForwardEnabled';
+
+}
+
+@injectable()
+export class ConsoleInputFocusContext implements KeybindingContext {
+
+    readonly id: string = ConsoleKeybindingContexts.consoleInputFocus;
+
+    @inject(ConsoleManager)
+    protected readonly manager: ConsoleManager;
+
+    isEnabled(): boolean {
+        const console = this.manager.activeConsole;
+        return !!console && this.isConsoleEnabled(console);
+    }
+
+    protected isConsoleEnabled(console: ConsoleWidget): boolean {
+        return console.hasInputFocus();
+    }
+
+}
+
+@injectable()
+export class ConsoleContentFocusContext extends ConsoleInputFocusContext {
+
+    override readonly id: string = ConsoleKeybindingContexts.consoleContentFocus;
+
+    protected override isConsoleEnabled(console: ConsoleWidget): boolean {
+        return !console.input.isFocused();
+    }
+
+}
+
+@injectable()
+export class ConsoleNavigationBackEnabled extends ConsoleInputFocusContext {
+
+    override readonly id: string = ConsoleKeybindingContexts.consoleNavigationBackEnabled;
+
+    protected override isConsoleEnabled(console: ConsoleWidget): boolean {
+        if (!super.isConsoleEnabled(console)) {
+            return false;
+        }
+        const editor = console.input.getControl();
+        return editor.getPosition()!.equals({ lineNumber: 1, column: 1 });
+    }
+
+}
+
+@injectable()
+export class ConsoleNavigationForwardEnabled extends ConsoleInputFocusContext {
+
+    override readonly id: string = ConsoleKeybindingContexts.consoleNavigationForwardEnabled;
+
+    protected override isConsoleEnabled(console: ConsoleWidget): boolean {
+        if (!super.isConsoleEnabled(console)) {
+            return false;
+        }
+        const editor = console.input.getControl();
+        const model = console.input.getControl().getModel()!;
+        const lineNumber = model.getLineCount();
+        const column = model.getLineMaxColumn(lineNumber);
+        return editor.getPosition()!.equals({ lineNumber, column });
+    }
+
+}

package/src/browser/console-manager.ts

@@ -1,37 +1,37 @@
-// *****************************************************************************
-// 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
-// *****************************************************************************
-
-import { injectable, inject } from '@theia/core/shared/inversify';
-import { ApplicationShell } from '@theia/core/lib/browser';
-import { ConsoleWidget } from './console-widget';
-
-@injectable()
-export class ConsoleManager {
-
-    @inject(ApplicationShell)
-    protected readonly shell: ApplicationShell;
-
-    get activeConsole(): ConsoleWidget | undefined {
-        const widget = this.shell.activeWidget;
-        return widget instanceof ConsoleWidget ? widget : undefined;
-    }
-
-    get currentConsole(): ConsoleWidget | undefined {
-        const widget = this.shell.currentWidget;
-        return widget instanceof ConsoleWidget ? widget : undefined;
-    }
-
-}
+// *****************************************************************************
+// 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
+// *****************************************************************************
+
+import { injectable, inject } from '@theia/core/shared/inversify';
+import { ApplicationShell } from '@theia/core/lib/browser';
+import { ConsoleWidget } from './console-widget';
+
+@injectable()
+export class ConsoleManager {
+
+    @inject(ApplicationShell)
+    protected readonly shell: ApplicationShell;
+
+    get activeConsole(): ConsoleWidget | undefined {
+        const widget = this.shell.activeWidget;
+        return widget instanceof ConsoleWidget ? widget : undefined;
+    }
+
+    get currentConsole(): ConsoleWidget | undefined {
+        const widget = this.shell.currentWidget;
+        return widget instanceof ConsoleWidget ? widget : undefined;
+    }
+
+}