@theia/terminal 1.40.1 → 1.42.0

package/src/browser/terminal-widget-impl.ts

@@ -43,6 +43,9 @@ import { Key } from '@theia/core/lib/browser/keys';
 import { nls } from '@theia/core/lib/common/nls';
 import { TerminalMenus } from './terminal-frontend-contribution';
 import debounce = require('p-debounce');
+import { MarkdownString, MarkdownStringImpl } from '@theia/core/lib/common/markdown-rendering/markdown-string';
+import { EnhancedPreviewWidget } from '@theia/core/lib/browser/widgets/enhanced-preview-widget';
+import { MarkdownRenderer, MarkdownRendererFactory } from '@theia/core/lib/browser/markdown-rendering/markdown-renderer';
 
 export const TERMINAL_WIDGET_FACTORY_ID = 'terminal';
 
@@ -57,7 +60,7 @@ export interface TerminalContribution {
 }
 
 @injectable()
-export class TerminalWidgetImpl extends TerminalWidget implements StatefulWidget, ExtractableWidget {
+export class TerminalWidgetImpl extends TerminalWidget implements StatefulWidget, ExtractableWidget, EnhancedPreviewWidget {
     readonly isExtractable: boolean = true;
     secondaryWindow: Window | undefined;
     location: TerminalLocationOptions;
@@ -81,6 +84,7 @@ export class TerminalWidgetImpl extends TerminalWidget implements StatefulWidget
     protected lastMousePosition: { x: number, y: number } | undefined;
     protected isAttachedCloseListener: boolean = false;
     protected shown = false;
+    protected enhancedPreviewNode: Node | undefined;
     override lastCwd = new URI();
 
     @inject(WorkspaceService) protected readonly workspaceService: WorkspaceService;
@@ -98,6 +102,13 @@ export class TerminalWidgetImpl extends TerminalWidget implements StatefulWidget
     @inject(TerminalThemeService) protected readonly themeService: TerminalThemeService;
     @inject(ShellCommandBuilder) protected readonly shellCommandBuilder: ShellCommandBuilder;
     @inject(ContextMenuRenderer) protected readonly contextMenuRenderer: ContextMenuRenderer;
+    @inject(MarkdownRendererFactory) protected readonly markdownRendererFactory: MarkdownRendererFactory;
+
+    protected _markdownRenderer: MarkdownRenderer | undefined;
+    protected get markdownRenderer(): MarkdownRenderer {
+        this._markdownRenderer ||= this.markdownRendererFactory();
+        return this._markdownRenderer;
+    }
 
     protected readonly onDidOpenEmitter = new Emitter<void>();
     readonly onDidOpen: Event<void> = this.onDidOpenEmitter.event;
@@ -206,21 +217,25 @@ export class TerminalWidgetImpl extends TerminalWidget implements StatefulWidget
         });
         this.toDispose.push(titleChangeListenerDispose);
 
-        this.toDispose.push(this.terminalWatcher.onTerminalError(({ terminalId, error }) => {
+        this.toDispose.push(this.terminalWatcher.onTerminalError(({ terminalId, error, attached }) => {
             if (terminalId === this.terminalId) {
                 this.exitStatus = { code: undefined, reason: TerminalExitReason.Process };
-                this.dispose();
                 this.logger.error(`The terminal process terminated. Cause: ${error}`);
+                if (!attached) {
+                    this.dispose();
+                }
             }
         }));
-        this.toDispose.push(this.terminalWatcher.onTerminalExit(({ terminalId, code, reason }) => {
+        this.toDispose.push(this.terminalWatcher.onTerminalExit(({ terminalId, code, reason, attached }) => {
             if (terminalId === this.terminalId) {
                 if (reason) {
                     this.exitStatus = { code, reason };
                 } else {
                     this.exitStatus = { code, reason: TerminalExitReason.Process };
                 }
-                this.dispose();
+                if (!attached) {
+                    this.dispose();
+                }
             }
         }));
         this.toDispose.push(this.toDisposeOnConnect);
@@ -422,6 +437,13 @@ export class TerminalWidgetImpl extends TerminalWidget implements StatefulWidget
         return this.shellTerminalServer.getProcessInfo(this.terminalId);
     }
 
+    get envVarCollectionDescriptionsByExtension(): Promise<Map<string, string | MarkdownString | undefined>> {
+        if (!IBaseTerminalServer.validateId(this.terminalId)) {
+            return Promise.reject(new Error('terminal is not started'));
+        }
+        return this.shellTerminalServer.getEnvVarCollectionDescriptionsByExtension(this.terminalId);
+    }
+
     get terminalId(): number {
         return this._terminalId;
     }
@@ -502,6 +524,8 @@ export class TerminalWidgetImpl extends TerminalWidget implements StatefulWidget
     protected async attachTerminal(id: number): Promise<number> {
         const terminalId = await this.shellTerminalServer.attach(id);
         if (IBaseTerminalServer.validateId(terminalId)) {
+            // reset exit status if a new terminal process is attached
+            this.exitStatus = undefined;
             return terminalId;
         }
         this.logger.warn(`Failed attaching to terminal id ${id}, the terminal is most likely gone. Starting up a new terminal instead.`);
@@ -756,6 +780,10 @@ export class TerminalWidgetImpl extends TerminalWidget implements StatefulWidget
         if (this.exitStatus) {
             this.onTermDidClose.fire(this);
         }
+        if (this.enhancedPreviewNode) {
+            // don't use preview node anymore. rendered markdown will be disposed on super call
+            this.enhancedPreviewNode = undefined;
+        }
         super.dispose();
     }
 
@@ -776,7 +804,9 @@ export class TerminalWidgetImpl extends TerminalWidget implements StatefulWidget
             return;
         }
         if (!IBaseTerminalServer.validateId(this.terminalId)
-            || !this.terminalService.getById(this.id)) {
+            || this.exitStatus
+            || !this.terminalService.getById(this.id)
+        ) {
             return;
         }
         const { cols, rows } = this.term;
@@ -859,4 +889,46 @@ export class TerminalWidgetImpl extends TerminalWidget implements StatefulWidget
     private disableEnterWhenAttachCloseListener(): boolean {
         return this.isAttachedCloseListener;
     }
+
+    getEnhancedPreviewNode(): Node | undefined {
+        if (this.enhancedPreviewNode) {
+            return this.enhancedPreviewNode;
+        }
+
+        this.enhancedPreviewNode = document.createElement('div');
+
+        Promise.all([this.envVarCollectionDescriptionsByExtension, this.processId, this.processInfo])
+            .then((values: [Map<string, string | MarkdownString | undefined>, number, TerminalProcessInfo]) => {
+                const extensions = values[0];
+                const processId = values[1];
+                const processInfo = values[2];
+
+                const markdown = new MarkdownStringImpl();
+                markdown.appendMarkdown('Process ID: ' + processId + '\\\n');
+                markdown.appendMarkdown('Command line: ' +
+                    processInfo.executable +
+                    ' ' +
+                    processInfo.arguments.join(' ') +
+                    '\n\n---\n\n');
+                markdown.appendMarkdown('The following extensions have contributed to this terminal\'s environment:\n');
+                extensions.forEach((value, key) => {
+                    if (value === undefined) {
+                        markdown.appendMarkdown('* ' + key + '\n');
+                    } else if (typeof value === 'string') {
+                        markdown.appendMarkdown('* ' + key + ': ' + value + '\n');
+                    } else {
+                        markdown.appendMarkdown('* ' + key + ': ' + value.value + '\n');
+                    }
+                });
+
+                const enhancedPreviewNode = this.enhancedPreviewNode;
+                if (!this.isDisposed && enhancedPreviewNode) {
+                    const result = this.markdownRenderer.render(markdown);
+                    this.toDispose.push(result);
+                    enhancedPreviewNode.appendChild(result.element);
+                }
+            });
+
+        return this.enhancedPreviewNode;
+    }
 }

package/src/common/base-terminal-protocol.ts

@@ -16,6 +16,7 @@
 
 import { RpcServer } from '@theia/core/lib/common/messaging/proxy-factory';
 import { Disposable } from '@theia/core';
+import { MarkdownString } from '@theia/core/lib/common/markdown-rendering/markdown-string';
 
 export interface TerminalProcessInfo {
     executable: string
@@ -28,6 +29,7 @@ export interface IBaseTerminalServer extends RpcServer<IBaseTerminalClient> {
     create(IBaseTerminalServerOptions: object): Promise<number>;
     getProcessId(id: number): Promise<number>;
     getProcessInfo(id: number): Promise<TerminalProcessInfo>;
+    getEnvVarCollectionDescriptionsByExtension(id: number): Promise<Map<string, string | MarkdownString | undefined>>;
     getCwdURI(id: number): Promise<string>;
     resize(id: number, cols: number, rows: number): Promise<void>;
     attach(id: number): Promise<number>;
@@ -48,7 +50,7 @@ export interface IBaseTerminalServer extends RpcServer<IBaseTerminalClient> {
     /**
      * Sets an extension's environment variable collection.
      */
-    setCollection(extensionIdentifier: string, persistent: boolean, collection: SerializableEnvironmentVariableCollection): void;
+    setCollection(extensionIdentifier: string, persistent: boolean, collection: SerializableEnvironmentVariableCollection, description: string | MarkdownString | undefined): void;
     /**
      * Deletes an extension's environment variable collection.
      */
@@ -67,6 +69,8 @@ export interface IBaseTerminalExitEvent {
     code?: number;
     reason?: TerminalExitReason;
     signal?: string;
+
+    attached?: boolean;
 }
 
 export enum TerminalExitReason {
@@ -79,7 +83,8 @@ export enum TerminalExitReason {
 
 export interface IBaseTerminalErrorEvent {
     terminalId: number;
-    error: Error
+    error: Error;
+    attached?: boolean;
 }
 
 export interface IBaseTerminalClient {
@@ -154,6 +159,7 @@ export interface EnvironmentVariableCollection {
 
 export interface EnvironmentVariableCollectionWithPersistence extends EnvironmentVariableCollection {
     readonly persistent: boolean;
+    readonly description: string | MarkdownString | undefined;
 }
 
 export enum EnvironmentVariableMutatorType {
@@ -186,7 +192,8 @@ export interface MergedEnvironmentVariableCollection {
 
 export interface SerializableExtensionEnvironmentVariableCollection {
     extensionIdentifier: string,
-    collection: SerializableEnvironmentVariableCollection
+    collection: SerializableEnvironmentVariableCollection | undefined,
+    description: string | MarkdownString | undefined
 }
 
 export type SerializableEnvironmentVariableCollection = [string, EnvironmentVariableMutator][];

package/src/node/base-terminal-server.ts

@@ -33,6 +33,7 @@ import {
 } from '../common/base-terminal-protocol';
 import { TerminalProcess, ProcessManager, TaskTerminalProcess } from '@theia/process/lib/node';
 import { ShellProcess } from './shell-process';
+import { MarkdownString } from '@theia/core/lib/common/markdown-rendering/markdown-string';
 
 @injectable()
 export abstract class BaseTerminalServer implements IBaseTerminalServer {
@@ -77,6 +78,8 @@ export abstract class BaseTerminalServer implements IBaseTerminalServer {
                 // Didn't execute `unregisterProcess` on terminal `exit` event to enable attaching task output to terminal,
                 // Fixes https://github.com/eclipse-theia/theia/issues/2961
                 terminal.unregisterProcess();
+            } else {
+                this.postAttachAttempted(terminal);
             }
         }
     }
@@ -100,6 +103,18 @@ export abstract class BaseTerminalServer implements IBaseTerminalServer {
         };
     }
 
+    async getEnvVarCollectionDescriptionsByExtension(id: number): Promise<Map<string, string | MarkdownString | undefined>> {
+        const terminal = this.processManager.get(id);
+        if (!(terminal instanceof TerminalProcess)) {
+            throw new Error(`terminal "${id}" does not exist`);
+        }
+        const result = new Map<string, string | MarkdownString | undefined>();
+        this.collections.forEach((value, key) => {
+            result.set(key, value.description);
+        });
+        return result;
+    }
+
     async getCwdURI(id: number): Promise<string> {
         const terminal = this.processManager.get(id);
         if (!(terminal instanceof TerminalProcess)) {
@@ -142,7 +157,7 @@ export abstract class BaseTerminalServer implements IBaseTerminalServer {
         this.client.updateTerminalEnvVariables();
     }
 
-    protected postCreate(term: TerminalProcess): void {
+    protected notifyClientOnExit(term: TerminalProcess): DisposableCollection {
         const toDispose = new DisposableCollection();
 
         toDispose.push(term.onError(error => {
@@ -150,8 +165,9 @@ export abstract class BaseTerminalServer implements IBaseTerminalServer {
 
             if (this.client !== undefined) {
                 this.client.onTerminalError({
-                    'terminalId': term.id,
-                    'error': new Error(`Failed to execute terminal process (${error.code})`),
+                    terminalId: term.id,
+                    error: new Error(`Failed to execute terminal process (${error.code})`),
+                    attached: term instanceof TaskTerminalProcess && term.attachmentAttempted
                 });
             }
         }));
@@ -159,14 +175,24 @@ export abstract class BaseTerminalServer implements IBaseTerminalServer {
         toDispose.push(term.onExit(event => {
             if (this.client !== undefined) {
                 this.client.onTerminalExitChanged({
-                    'terminalId': term.id,
-                    'code': event.code,
-                    'reason': TerminalExitReason.Process,
-                    'signal': event.signal
+                    terminalId: term.id,
+                    code: event.code,
+                    reason: TerminalExitReason.Process,
+                    signal: event.signal,
+                    attached: term instanceof TaskTerminalProcess && term.attachmentAttempted
                 });
             }
         }));
+        return toDispose;
+    }
+
+    protected postCreate(term: TerminalProcess): void {
+        const toDispose = this.notifyClientOnExit(term);
+        this.terminalToDispose.set(term.id, toDispose);
+    }
 
+    protected postAttachAttempted(term: TaskTerminalProcess): void {
+        const toDispose = this.notifyClientOnExit(term);
         this.terminalToDispose.set(term.id, toDispose);
     }
 
@@ -176,8 +202,8 @@ export abstract class BaseTerminalServer implements IBaseTerminalServer {
      *--------------------------------------------------------------------------------------------*/
     // some code copied and modified from https://github.com/microsoft/vscode/blob/1.49.0/src/vs/workbench/contrib/terminal/common/environmentVariableService.ts
 
-    setCollection(extensionIdentifier: string, persistent: boolean, collection: SerializableEnvironmentVariableCollection): void {
-        const translatedCollection = { persistent, map: new Map<string, EnvironmentVariableMutator>(collection) };
+    setCollection(extensionIdentifier: string, persistent: boolean, collection: SerializableEnvironmentVariableCollection, description: string | MarkdownString | undefined): void {
+        const translatedCollection = { persistent, description, map: new Map<string, EnvironmentVariableMutator>(collection) };
         this.collections.set(extensionIdentifier, translatedCollection);
         this.updateCollections();
     }
@@ -198,7 +224,8 @@ export abstract class BaseTerminalServer implements IBaseTerminalServer {
             if (collection.persistent) {
                 collectionsJson.push({
                     extensionIdentifier,
-                    collection: [...this.collections.get(extensionIdentifier)!.map.entries()]
+                    collection: [...this.collections.get(extensionIdentifier)!.map.entries()],
+                    description: collection.description
                 });
             }
         });

package/lib/browser/terminal-keybinding-contexts.d.ts

@@ -1,16 +0,0 @@
-import { KeybindingContext, ApplicationShell } from '@theia/core/lib/browser';
-export declare namespace TerminalKeybindingContexts {
-    const terminalActive = "terminalActive";
-    const terminalHideSearch = "hideSearch";
-}
-export declare class TerminalActiveContext implements KeybindingContext {
-    readonly id: string;
-    protected readonly shell: ApplicationShell;
-    isEnabled(): boolean;
-}
-export declare class TerminalSearchVisibleContext implements KeybindingContext {
-    readonly id: string;
-    protected readonly shell: ApplicationShell;
-    isEnabled(): boolean;
-}
-//# sourceMappingURL=terminal-keybinding-contexts.d.ts.map

package/lib/browser/terminal-keybinding-contexts.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"terminal-keybinding-contexts.d.ts","sourceRoot":"","sources":["../../src/browser/terminal-keybinding-contexts.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAG9E,yBAAiB,0BAA0B,CAAC;IACjC,MAAM,cAAc,mBAAmB,CAAC;IACxC,MAAM,kBAAkB,eAAe,CAAC;CAClD;AAED,qBACa,qBAAsB,YAAW,iBAAiB;IAC3D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAA6C;IAGhE,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IAE3C,SAAS,IAAI,OAAO;CAGvB;AAED,qBACa,4BAA6B,YAAW,iBAAiB;IAClE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAiD;IAGpE,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IAE3C,SAAS,IAAI,OAAO;CAOvB"}

package/lib/browser/terminal-keybinding-contexts.js

@@ -1,72 +0,0 @@
-"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-only 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.TerminalSearchVisibleContext = exports.TerminalActiveContext = exports.TerminalKeybindingContexts = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const browser_1 = require("@theia/core/lib/browser");
-const terminal_widget_1 = require("./base/terminal-widget");
-var TerminalKeybindingContexts;
-(function (TerminalKeybindingContexts) {
-    TerminalKeybindingContexts.terminalActive = 'terminalActive';
-    TerminalKeybindingContexts.terminalHideSearch = 'hideSearch';
-})(TerminalKeybindingContexts = exports.TerminalKeybindingContexts || (exports.TerminalKeybindingContexts = {}));
-let TerminalActiveContext = class TerminalActiveContext {
-    constructor() {
-        this.id = TerminalKeybindingContexts.terminalActive;
-    }
-    isEnabled() {
-        return this.shell.activeWidget instanceof terminal_widget_1.TerminalWidget;
-    }
-};
-__decorate([
-    (0, inversify_1.inject)(browser_1.ApplicationShell),
-    __metadata("design:type", browser_1.ApplicationShell)
-], TerminalActiveContext.prototype, "shell", void 0);
-TerminalActiveContext = __decorate([
-    (0, inversify_1.injectable)()
-], TerminalActiveContext);
-exports.TerminalActiveContext = TerminalActiveContext;
-let TerminalSearchVisibleContext = class TerminalSearchVisibleContext {
-    constructor() {
-        this.id = TerminalKeybindingContexts.terminalHideSearch;
-    }
-    isEnabled() {
-        if (!(this.shell.activeWidget instanceof terminal_widget_1.TerminalWidget)) {
-            return false;
-        }
-        const searchWidget = this.shell.activeWidget.getSearchBox();
-        return searchWidget.isVisible;
-    }
-};
-__decorate([
-    (0, inversify_1.inject)(browser_1.ApplicationShell),
-    __metadata("design:type", browser_1.ApplicationShell)
-], TerminalSearchVisibleContext.prototype, "shell", void 0);
-TerminalSearchVisibleContext = __decorate([
-    (0, inversify_1.injectable)()
-], TerminalSearchVisibleContext);
-exports.TerminalSearchVisibleContext = TerminalSearchVisibleContext;
-//# sourceMappingURL=terminal-keybinding-contexts.js.map

package/lib/browser/terminal-keybinding-contexts.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"terminal-keybinding-contexts.js","sourceRoot":"","sources":["../../src/browser/terminal-keybinding-contexts.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;;;;;;;;;;;;AAEhF,4DAAkE;AAClE,qDAA8E;AAC9E,4DAAwD;AAExD,IAAiB,0BAA0B,CAG1C;AAHD,WAAiB,0BAA0B;IAC1B,yCAAc,GAAG,gBAAgB,CAAC;IAClC,6CAAkB,GAAG,YAAY,CAAC;AACnD,CAAC,EAHgB,0BAA0B,GAA1B,kCAA0B,KAA1B,kCAA0B,QAG1C;AAGD,IAAa,qBAAqB,GAAlC,MAAa,qBAAqB;IAAlC;QACa,OAAE,GAAW,0BAA0B,CAAC,cAAc,CAAC;IAQpE,CAAC;IAHG,SAAS;QACL,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,YAAY,gCAAc,CAAC;IAC7D,CAAC;CACJ,CAAA;AALG;IADC,IAAA,kBAAM,EAAC,0BAAgB,CAAC;8BACC,0BAAgB;oDAAC;AAJlC,qBAAqB;IADjC,IAAA,sBAAU,GAAE;GACA,qBAAqB,CASjC;AATY,sDAAqB;AAYlC,IAAa,4BAA4B,GAAzC,MAAa,4BAA4B;IAAzC;QACa,OAAE,GAAW,0BAA0B,CAAC,kBAAkB,CAAC;IAYxE,CAAC;IAPG,SAAS;QACL,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,YAAY,gCAAc,CAAC,EAAE;YACtD,OAAO,KAAK,CAAC;SAChB;QACD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,CAAC;QAC5D,OAAO,YAAY,CAAC,SAAS,CAAC;IAClC,CAAC;CACJ,CAAA;AATG;IADC,IAAA,kBAAM,EAAC,0BAAgB,CAAC;8BACC,0BAAgB;2DAAC;AAJlC,4BAA4B;IADxC,IAAA,sBAAU,GAAE;GACA,4BAA4B,CAaxC;AAbY,oEAA4B"}

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

@@ -1,52 +0,0 @@
-// *****************************************************************************
-// 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-only WITH Classpath-exception-2.0
-// *****************************************************************************
-
-import { injectable, inject } from '@theia/core/shared/inversify';
-import { KeybindingContext, ApplicationShell } from '@theia/core/lib/browser';
-import { TerminalWidget } from './base/terminal-widget';
-
-export namespace TerminalKeybindingContexts {
-    export const terminalActive = 'terminalActive';
-    export const terminalHideSearch = 'hideSearch';
-}
-
-@injectable()
-export class TerminalActiveContext implements KeybindingContext {
-    readonly id: string = TerminalKeybindingContexts.terminalActive;
-
-    @inject(ApplicationShell)
-    protected readonly shell: ApplicationShell;
-
-    isEnabled(): boolean {
-        return this.shell.activeWidget instanceof TerminalWidget;
-    }
-}
-
-@injectable()
-export class TerminalSearchVisibleContext implements KeybindingContext {
-    readonly id: string = TerminalKeybindingContexts.terminalHideSearch;
-
-    @inject(ApplicationShell)
-    protected readonly shell: ApplicationShell;
-
-    isEnabled(): boolean {
-        if (!(this.shell.activeWidget instanceof TerminalWidget)) {
-            return false;
-        }
-        const searchWidget = this.shell.activeWidget.getSearchBox();
-        return searchWidget.isVisible;
-    }
-}