@theia/terminal 1.77.0-next.99 → 1.78.0-next.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/browser/base/terminal-service.d.ts +1 -1
- package/lib/browser/base/terminal-service.d.ts.map +1 -1
- package/lib/browser/base/terminal-service.js +1 -4
- package/lib/browser/base/terminal-service.js.map +1 -1
- package/lib/browser/base/terminal-widget.d.ts +2 -2
- package/lib/browser/base/terminal-widget.d.ts.map +1 -1
- package/lib/browser/base/terminal-widget.js +5 -9
- package/lib/browser/base/terminal-widget.js.map +1 -1
- package/lib/browser/index.d.ts +2 -2
- package/lib/browser/index.d.ts.map +1 -1
- package/lib/browser/index.js +2 -5
- package/lib/browser/index.js.map +1 -1
- package/lib/browser/search/terminal-search-container.d.ts +1 -1
- package/lib/browser/search/terminal-search-container.d.ts.map +1 -1
- package/lib/browser/search/terminal-search-container.js +7 -9
- package/lib/browser/search/terminal-search-container.js.map +1 -1
- package/lib/browser/search/terminal-search-widget.d.ts +1 -1
- package/lib/browser/search/terminal-search-widget.d.ts.map +1 -1
- package/lib/browser/search/terminal-search-widget.js +24 -30
- package/lib/browser/search/terminal-search-widget.js.map +1 -1
- package/lib/browser/shell-terminal-profile.d.ts +3 -3
- package/lib/browser/shell-terminal-profile.d.ts.map +1 -1
- package/lib/browser/shell-terminal-profile.js +1 -5
- package/lib/browser/shell-terminal-profile.js.map +1 -1
- package/lib/browser/terminal-command-history.d.ts +1 -1
- package/lib/browser/terminal-command-history.d.ts.map +1 -1
- package/lib/browser/terminal-command-history.js +10 -14
- package/lib/browser/terminal-command-history.js.map +1 -1
- package/lib/browser/terminal-contribution.d.ts +1 -1
- package/lib/browser/terminal-contribution.d.ts.map +1 -1
- package/lib/browser/terminal-contribution.js +3 -5
- package/lib/browser/terminal-contribution.js.map +1 -1
- package/lib/browser/terminal-copy-on-selection-handler.js +9 -15
- package/lib/browser/terminal-copy-on-selection-handler.js.map +1 -1
- package/lib/browser/terminal-creation-handler.d.ts +1 -1
- package/lib/browser/terminal-creation-handler.d.ts.map +1 -1
- package/lib/browser/terminal-creation-handler.js +1 -4
- package/lib/browser/terminal-creation-handler.js.map +1 -1
- package/lib/browser/terminal-file-link-provider.d.ts +3 -3
- package/lib/browser/terminal-file-link-provider.d.ts.map +1 -1
- package/lib/browser/terminal-file-link-provider.js +37 -44
- package/lib/browser/terminal-file-link-provider.js.map +1 -1
- package/lib/browser/terminal-file-link-provider.spec.js +9 -12
- package/lib/browser/terminal-file-link-provider.spec.js.map +1 -1
- package/lib/browser/terminal-file-opening-link-provider.d.ts +2 -2
- package/lib/browser/terminal-file-opening-link-provider.d.ts.map +1 -1
- package/lib/browser/terminal-file-opening-link-provider.js +11 -16
- package/lib/browser/terminal-file-opening-link-provider.js.map +1 -1
- package/lib/browser/terminal-file-uri-link-provider.d.ts +3 -3
- package/lib/browser/terminal-file-uri-link-provider.d.ts.map +1 -1
- package/lib/browser/terminal-file-uri-link-provider.js +13 -17
- package/lib/browser/terminal-file-uri-link-provider.js.map +1 -1
- package/lib/browser/terminal-file-uri-link-provider.spec.js +16 -19
- package/lib/browser/terminal-file-uri-link-provider.spec.js.map +1 -1
- package/lib/browser/terminal-frontend-contribution.d.ts +8 -8
- package/lib/browser/terminal-frontend-contribution.d.ts.map +1 -1
- package/lib/browser/terminal-frontend-contribution.js +194 -221
- package/lib/browser/terminal-frontend-contribution.js.map +1 -1
- package/lib/browser/terminal-frontend-module.js +94 -96
- package/lib/browser/terminal-frontend-module.js.map +1 -1
- package/lib/browser/terminal-link-helpers.js +3 -8
- package/lib/browser/terminal-link-helpers.js.map +1 -1
- package/lib/browser/terminal-link-provider.d.ts +4 -4
- package/lib/browser/terminal-link-provider.d.ts.map +1 -1
- package/lib/browser/terminal-link-provider.js +46 -60
- package/lib/browser/terminal-link-provider.js.map +1 -1
- package/lib/browser/terminal-profile-service.d.ts +1 -1
- package/lib/browser/terminal-profile-service.d.ts.map +1 -1
- package/lib/browser/terminal-profile-service.js +23 -27
- package/lib/browser/terminal-profile-service.js.map +1 -1
- package/lib/browser/terminal-quick-open-service.d.ts +2 -2
- package/lib/browser/terminal-quick-open-service.d.ts.map +1 -1
- package/lib/browser/terminal-quick-open-service.js +30 -38
- package/lib/browser/terminal-quick-open-service.js.map +1 -1
- package/lib/browser/terminal-secondary-window-close-contribution.d.ts +1 -1
- package/lib/browser/terminal-secondary-window-close-contribution.d.ts.map +1 -1
- package/lib/browser/terminal-secondary-window-close-contribution.js +10 -14
- package/lib/browser/terminal-secondary-window-close-contribution.js.map +1 -1
- package/lib/browser/terminal-shell-handler.d.ts +3 -3
- package/lib/browser/terminal-shell-handler.d.ts.map +1 -1
- package/lib/browser/terminal-shell-handler.js +17 -22
- package/lib/browser/terminal-shell-handler.js.map +1 -1
- package/lib/browser/terminal-theme-service.js +15 -20
- package/lib/browser/terminal-theme-service.js.map +1 -1
- package/lib/browser/terminal-theme-service.spec.js +30 -35
- package/lib/browser/terminal-theme-service.spec.js.map +1 -1
- package/lib/browser/terminal-url-link-provider.d.ts +2 -2
- package/lib/browser/terminal-url-link-provider.d.ts.map +1 -1
- package/lib/browser/terminal-url-link-provider.js +11 -15
- package/lib/browser/terminal-url-link-provider.js.map +1 -1
- package/lib/browser/terminal-widget-impl.d.ts +11 -11
- package/lib/browser/terminal-widget-impl.d.ts.map +1 -1
- package/lib/browser/terminal-widget-impl.js +148 -173
- package/lib/browser/terminal-widget-impl.js.map +1 -1
- package/lib/browser-only/browser-only-terminal-frontend-contribution.d.ts +3 -3
- package/lib/browser-only/browser-only-terminal-frontend-contribution.d.ts.map +1 -1
- package/lib/browser-only/browser-only-terminal-frontend-contribution.js +12 -16
- package/lib/browser-only/browser-only-terminal-frontend-contribution.js.map +1 -1
- package/lib/browser-only/browser-only-terminal-frontend-contribution.spec.js +68 -70
- package/lib/browser-only/browser-only-terminal-frontend-contribution.spec.js.map +1 -1
- package/lib/browser-only/terminal-frontend-only-module.js +5 -7
- package/lib/browser-only/terminal-frontend-only-module.js.map +1 -1
- package/lib/common/base-terminal-protocol.js +7 -11
- package/lib/common/base-terminal-protocol.js.map +1 -1
- package/lib/common/shell-terminal-protocol.d.ts +1 -1
- package/lib/common/shell-terminal-protocol.d.ts.map +1 -1
- package/lib/common/shell-terminal-protocol.js +6 -9
- package/lib/common/shell-terminal-protocol.js.map +1 -1
- package/lib/common/shell-type.js +12 -20
- package/lib/common/shell-type.js.map +1 -1
- package/lib/common/shell-type.spec.js +69 -71
- package/lib/common/shell-type.spec.js.map +1 -1
- package/lib/common/terminal-preferences.js +77 -83
- package/lib/common/terminal-preferences.js.map +1 -1
- package/lib/common/terminal-protocol.d.ts +1 -1
- package/lib/common/terminal-protocol.d.ts.map +1 -1
- package/lib/common/terminal-protocol.js +3 -6
- package/lib/common/terminal-protocol.js.map +1 -1
- package/lib/common/terminal-watcher.d.ts +1 -1
- package/lib/common/terminal-watcher.d.ts.map +1 -1
- package/lib/common/terminal-watcher.js +10 -13
- package/lib/common/terminal-watcher.js.map +1 -1
- package/lib/node/base-terminal-server.d.ts +1 -1
- package/lib/node/base-terminal-server.d.ts.map +1 -1
- package/lib/node/base-terminal-server.js +24 -28
- package/lib/node/base-terminal-server.js.map +1 -1
- package/lib/node/buffering-stream.js +5 -11
- package/lib/node/buffering-stream.js.map +1 -1
- package/lib/node/buffering-stream.spec.js +18 -20
- package/lib/node/buffering-stream.spec.js.map +1 -1
- package/lib/node/index.d.ts +1 -1
- package/lib/node/index.d.ts.map +1 -1
- package/lib/node/index.js +1 -4
- package/lib/node/index.js.map +1 -1
- package/lib/node/shell-integration-injector.d.ts +1 -1
- package/lib/node/shell-integration-injector.d.ts.map +1 -1
- package/lib/node/shell-integration-injector.js +19 -24
- package/lib/node/shell-integration-injector.js.map +1 -1
- package/lib/node/shell-integration-injector.spec.js +24 -27
- package/lib/node/shell-integration-injector.spec.js.map +1 -1
- package/lib/node/shell-process.js +28 -34
- package/lib/node/shell-process.js.map +1 -1
- package/lib/node/shell-terminal-server.d.ts +3 -3
- package/lib/node/shell-terminal-server.d.ts.map +1 -1
- package/lib/node/shell-terminal-server.js +39 -44
- package/lib/node/shell-terminal-server.js.map +1 -1
- package/lib/node/shell-terminal-server.spec.js +12 -14
- package/lib/node/shell-terminal-server.spec.js.map +1 -1
- package/lib/node/terminal-backend-contribution.js +17 -22
- package/lib/node/terminal-backend-contribution.js.map +1 -1
- package/lib/node/terminal-backend-contribution.slow-spec.js +10 -12
- package/lib/node/terminal-backend-contribution.slow-spec.js.map +1 -1
- package/lib/node/terminal-backend-module.d.ts +1 -1
- package/lib/node/terminal-backend-module.d.ts.map +1 -1
- package/lib/node/terminal-backend-module.js +36 -39
- package/lib/node/terminal-backend-module.js.map +1 -1
- package/lib/node/terminal-server.d.ts +2 -2
- package/lib/node/terminal-server.d.ts.map +1 -1
- package/lib/node/terminal-server.js +14 -19
- package/lib/node/terminal-server.js.map +1 -1
- package/lib/node/terminal-server.spec.js +5 -8
- package/lib/node/terminal-server.spec.js.map +1 -1
- package/lib/node/test/terminal-test-container.js +17 -21
- package/lib/node/test/terminal-test-container.js.map +1 -1
- package/lib/package.spec.d.ts +1 -0
- package/lib/package.spec.js +1 -1
- package/lib/package.spec.js.map +1 -1
- package/package.json +21 -10
- package/src/browser/base/terminal-service.ts +1 -1
- package/src/browser/base/terminal-widget.ts +2 -2
- package/src/browser/index.ts +2 -2
- package/src/browser/search/terminal-search-container.ts +4 -3
- package/src/browser/search/terminal-search-widget.tsx +3 -2
- package/src/browser/shell-terminal-profile.ts +3 -3
- package/src/browser/terminal-command-history.ts +1 -1
- package/src/browser/terminal-contribution.ts +1 -1
- package/src/browser/terminal-creation-handler.ts +1 -1
- package/src/browser/terminal-file-link-provider.spec.ts +2 -2
- package/src/browser/terminal-file-link-provider.ts +4 -4
- package/src/browser/terminal-file-opening-link-provider.ts +2 -2
- package/src/browser/terminal-file-uri-link-provider.spec.ts +2 -2
- package/src/browser/terminal-file-uri-link-provider.ts +3 -3
- package/src/browser/terminal-frontend-contribution.ts +12 -10
- package/src/browser/terminal-frontend-module.ts +23 -23
- package/src/browser/terminal-link-provider.ts +4 -4
- package/src/browser/terminal-profile-service.ts +2 -2
- package/src/browser/terminal-quick-open-service.ts +3 -3
- package/src/browser/terminal-secondary-window-close-contribution.ts +2 -2
- package/src/browser/terminal-shell-handler.ts +3 -3
- package/src/browser/terminal-theme-service.spec.ts +1 -1
- package/src/browser/terminal-theme-service.ts +1 -1
- package/src/browser/terminal-url-link-provider.ts +2 -2
- package/src/browser/terminal-widget-impl.ts +17 -16
- package/src/browser-only/browser-only-terminal-frontend-contribution.spec.ts +9 -9
- package/src/browser-only/browser-only-terminal-frontend-contribution.ts +3 -3
- package/src/browser-only/terminal-frontend-only-module.ts +2 -2
- package/src/common/shell-terminal-protocol.ts +1 -1
- package/src/common/shell-type.spec.ts +1 -1
- package/src/common/terminal-protocol.ts +1 -1
- package/src/common/terminal-watcher.ts +1 -1
- package/src/node/base-terminal-server.ts +2 -2
- package/src/node/buffering-stream.spec.ts +1 -1
- package/src/node/index.ts +1 -1
- package/src/node/shell-integration-injector.spec.ts +2 -2
- package/src/node/shell-integration-injector.ts +4 -4
- package/src/node/shell-terminal-server.spec.ts +5 -4
- package/src/node/shell-terminal-server.ts +3 -3
- package/src/node/terminal-backend-contribution.slow-spec.ts +3 -3
- package/src/node/terminal-backend-contribution.ts +2 -2
- package/src/node/terminal-backend-module.ts +10 -10
- package/src/node/terminal-server.spec.ts +2 -2
- package/src/node/terminal-server.ts +2 -2
- package/src/node/test/terminal-test-container.ts +1 -1
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
"use strict";
|
|
2
1
|
// *****************************************************************************
|
|
3
2
|
// Copyright (C) 2017 TypeFox and others.
|
|
4
3
|
//
|
|
@@ -15,43 +14,41 @@
|
|
|
15
14
|
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
15
|
// *****************************************************************************
|
|
17
16
|
var TerminalWidgetImpl_1;
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
const
|
|
53
|
-
const terminal_command_history_1 = require("./terminal-command-history");
|
|
54
|
-
exports.TERMINAL_WIDGET_FACTORY_ID = 'terminal';
|
|
17
|
+
import { __decorate } from "tslib";
|
|
18
|
+
// A CommonJS module whose exports cannot be detected statically, so it is imported as a whole.
|
|
19
|
+
import xterm from 'xterm';
|
|
20
|
+
import { FitAddon } from 'xterm-addon-fit';
|
|
21
|
+
import { WebglAddon } from 'xterm-addon-webgl';
|
|
22
|
+
import { inject, injectable, named, postConstruct } from '@theia/core/shared/inversify';
|
|
23
|
+
import { ContributionProvider, Disposable, Emitter, ILogger, DisposableCollection, OS, generateUuid } from '@theia/core';
|
|
24
|
+
import { Widget, isFirefox, MessageLoop, KeyCode, ContextMenuRenderer, DecorationStyle } from '@theia/core/lib/browser';
|
|
25
|
+
import { isOSX } from '@theia/core/lib/common';
|
|
26
|
+
import { WorkspaceService } from '@theia/workspace/lib/browser';
|
|
27
|
+
import { ShellTerminalServerProxy } from '../common/shell-terminal-protocol.js';
|
|
28
|
+
import { terminalsPath } from '../common/terminal-protocol.js';
|
|
29
|
+
import { IBaseTerminalServer, TerminalExitReason } from '../common/base-terminal-protocol.js';
|
|
30
|
+
import { TerminalWatcher } from '../common/terminal-watcher.js';
|
|
31
|
+
import { TerminalWidgetOptions, TerminalWidget, TerminalLocation } from './base/terminal-widget.js';
|
|
32
|
+
import { Deferred } from '@theia/core/lib/common/promise-util';
|
|
33
|
+
import { TerminalPreferences } from '../common/terminal-preferences.js';
|
|
34
|
+
import URI from '@theia/core/lib/common/uri';
|
|
35
|
+
import { TerminalService } from './base/terminal-service.js';
|
|
36
|
+
import { TerminalSearchWidgetFactory } from './search/terminal-search-widget.js';
|
|
37
|
+
import { TerminalCopyOnSelectionHandler } from './terminal-copy-on-selection-handler.js';
|
|
38
|
+
import { TerminalThemeService } from './terminal-theme-service.js';
|
|
39
|
+
import { ShellCommandBuilder } from '@theia/process/lib/common/shell-command-builder';
|
|
40
|
+
import { Key } from '@theia/core/lib/browser/keys';
|
|
41
|
+
import { nls } from '@theia/core/lib/common/nls';
|
|
42
|
+
import { TerminalMenus } from './terminal-frontend-contribution.js';
|
|
43
|
+
import debounce from 'p-debounce';
|
|
44
|
+
import { MarkdownStringImpl } from '@theia/core/lib/common/markdown-rendering/markdown-string';
|
|
45
|
+
import { MarkdownRendererFactory } from '@theia/core/lib/browser/markdown-rendering/markdown-renderer';
|
|
46
|
+
import { RemoteConnectionProvider } from '@theia/core/lib/browser/messaging/service-connection-provider';
|
|
47
|
+
import { ColorRegistry } from '@theia/core/lib/browser/color-registry';
|
|
48
|
+
import { ContextKeyService } from '@theia/core/lib/browser/context-key-service';
|
|
49
|
+
import { cleanTerminalTitle, guessShellTypeFromExecutable } from '../common/shell-type.js';
|
|
50
|
+
import { TerminalCommandHistoryStateFactory } from './terminal-command-history.js';
|
|
51
|
+
export const TERMINAL_WIDGET_FACTORY_ID = 'terminal';
|
|
55
52
|
let terminalCreationCounter = 0;
|
|
56
53
|
/**
|
|
57
54
|
* Produce a token suitable for {@link TerminalWidgetFactoryOptions.created}
|
|
@@ -60,10 +57,10 @@ let terminalCreationCounter = 0;
|
|
|
60
57
|
* accidentally collide even when constructing terminals within the same
|
|
61
58
|
* millisecond.
|
|
62
59
|
*/
|
|
63
|
-
function nextTerminalCreationToken() {
|
|
60
|
+
export function nextTerminalCreationToken() {
|
|
64
61
|
return `${Date.now()}-${terminalCreationCounter++}`;
|
|
65
62
|
}
|
|
66
|
-
|
|
63
|
+
export const TerminalContribution = Symbol('TerminalContribution');
|
|
67
64
|
class TerminalBufferImpl {
|
|
68
65
|
constructor(term) {
|
|
69
66
|
this.term = term;
|
|
@@ -89,40 +86,40 @@ class TerminalBufferImpl {
|
|
|
89
86
|
return result;
|
|
90
87
|
}
|
|
91
88
|
}
|
|
92
|
-
let TerminalWidgetImpl = class TerminalWidgetImpl extends
|
|
89
|
+
let TerminalWidgetImpl = class TerminalWidgetImpl extends TerminalWidget {
|
|
93
90
|
constructor() {
|
|
94
91
|
super(...arguments);
|
|
95
92
|
this.isExtractable = true;
|
|
96
93
|
this.terminalKind = 'user';
|
|
97
94
|
this._terminalId = -1;
|
|
98
|
-
this.onTermDidClose = new
|
|
95
|
+
this.onTermDidClose = new Emitter();
|
|
99
96
|
this.restored = false;
|
|
100
97
|
this.closeOnDispose = true;
|
|
101
98
|
this.isAttachedCloseListener = false;
|
|
102
99
|
this.shown = false;
|
|
103
|
-
this.lastCwd = new
|
|
100
|
+
this.lastCwd = new URI();
|
|
104
101
|
this.hasUserTitle = false;
|
|
105
|
-
this.onDidOpenEmitter = new
|
|
102
|
+
this.onDidOpenEmitter = new Emitter();
|
|
106
103
|
this.onDidOpen = this.onDidOpenEmitter.event;
|
|
107
|
-
this.onDidOpenFailureEmitter = new
|
|
104
|
+
this.onDidOpenFailureEmitter = new Emitter();
|
|
108
105
|
this.onDidOpenFailure = this.onDidOpenFailureEmitter.event;
|
|
109
|
-
this.onSizeChangedEmitter = new
|
|
106
|
+
this.onSizeChangedEmitter = new Emitter();
|
|
110
107
|
this.onSizeChanged = this.onSizeChangedEmitter.event;
|
|
111
|
-
this.onDataEmitter = new
|
|
108
|
+
this.onDataEmitter = new Emitter();
|
|
112
109
|
this.onData = this.onDataEmitter.event;
|
|
113
|
-
this.onOutputEmitter = new
|
|
110
|
+
this.onOutputEmitter = new Emitter();
|
|
114
111
|
this.onOutput = this.onOutputEmitter.event;
|
|
115
|
-
this.onKeyEmitter = new
|
|
112
|
+
this.onKeyEmitter = new Emitter();
|
|
116
113
|
this.onKey = this.onKeyEmitter.event;
|
|
117
|
-
this.onMouseEnterLinkHoverEmitter = new
|
|
114
|
+
this.onMouseEnterLinkHoverEmitter = new Emitter();
|
|
118
115
|
this.onMouseEnterLinkHover = this.onMouseEnterLinkHoverEmitter.event;
|
|
119
|
-
this.onMouseLeaveLinkHoverEmitter = new
|
|
116
|
+
this.onMouseLeaveLinkHoverEmitter = new Emitter();
|
|
120
117
|
this.onMouseLeaveLinkHover = this.onMouseLeaveLinkHoverEmitter.event;
|
|
121
|
-
this.onShellTypeChangedEmiter = new
|
|
118
|
+
this.onShellTypeChangedEmiter = new Emitter();
|
|
122
119
|
this.onShellTypeChanged = this.onShellTypeChangedEmiter.event;
|
|
123
|
-
this.toDisposeOnConnect = new
|
|
124
|
-
this.commandSeparatorDecorations = new
|
|
125
|
-
this.toDisposeOnCommandHistory = new
|
|
120
|
+
this.toDisposeOnConnect = new DisposableCollection();
|
|
121
|
+
this.commandSeparatorDecorations = new DisposableCollection();
|
|
122
|
+
this.toDisposeOnCommandHistory = new DisposableCollection();
|
|
126
123
|
this.connectionClosed = false;
|
|
127
124
|
this.waitingForConnectionCloseToDispose = false;
|
|
128
125
|
this.needsResize = true;
|
|
@@ -134,7 +131,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
134
131
|
this.resizeTerminal = debounce(() => this.doResizeTerminal(), 50);
|
|
135
132
|
}
|
|
136
133
|
static { TerminalWidgetImpl_1 = this; }
|
|
137
|
-
static { this.LABEL =
|
|
134
|
+
static { this.LABEL = nls.localizeByDefault('Terminal'); }
|
|
138
135
|
get markdownRenderer() {
|
|
139
136
|
this._markdownRenderer ||= this.markdownRendererFactory();
|
|
140
137
|
return this._markdownRenderer;
|
|
@@ -162,12 +159,12 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
162
159
|
this.terminalKind = this.options.kind;
|
|
163
160
|
}
|
|
164
161
|
if (this.options.destroyTermOnClose === true) {
|
|
165
|
-
this.toDispose.push(
|
|
162
|
+
this.toDispose.push(Disposable.create(() => this.term.dispose()));
|
|
166
163
|
}
|
|
167
|
-
this.location = this.options.location ||
|
|
164
|
+
this.location = this.options.location || TerminalLocation.Panel;
|
|
168
165
|
this.title.closable = true;
|
|
169
166
|
this.addClass('terminal-container');
|
|
170
|
-
this.term = new
|
|
167
|
+
this.term = new xterm.Terminal({
|
|
171
168
|
cursorBlink: this.preferences['terminal.integrated.cursorBlinking'],
|
|
172
169
|
cursorStyle: this.preferences['terminal.integrated.cursorStyle'] === 'line' ? 'bar' : this.preferences['terminal.integrated.cursorStyle'],
|
|
173
170
|
cursorWidth: this.preferences['terminal.integrated.cursorWidth'],
|
|
@@ -186,9 +183,9 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
186
183
|
});
|
|
187
184
|
this._buffer = new TerminalBufferImpl(this.term);
|
|
188
185
|
this._currentTerminalOutput = [];
|
|
189
|
-
this.fitAddon = new
|
|
186
|
+
this.fitAddon = new FitAddon();
|
|
190
187
|
this.term.loadAddon(this.fitAddon);
|
|
191
|
-
this.webglAddon = new
|
|
188
|
+
this.webglAddon = new WebglAddon();
|
|
192
189
|
this.term.loadAddon(this.webglAddon);
|
|
193
190
|
this.initializeLinkHover();
|
|
194
191
|
this.toDispose.push(this.preferences.onPreferenceChanged(change => {
|
|
@@ -208,10 +205,10 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
208
205
|
this.attachCustomKeyEventHandler();
|
|
209
206
|
const titleChangeListenerDispose = this.term.onTitleChange((title) => {
|
|
210
207
|
if (this.options.useServerTitle && !this.hasUserTitle) {
|
|
211
|
-
const cleaned =
|
|
208
|
+
const cleaned = cleanTerminalTitle(title);
|
|
212
209
|
if (cleaned) {
|
|
213
210
|
// If the command is a known shell, update the tracked shell name
|
|
214
|
-
const shellType =
|
|
211
|
+
const shellType = guessShellTypeFromExecutable(cleaned);
|
|
215
212
|
if (shellType) {
|
|
216
213
|
this._shellName = shellType;
|
|
217
214
|
}
|
|
@@ -228,7 +225,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
228
225
|
this.toDispose.push(titleChangeListenerDispose);
|
|
229
226
|
this.toDispose.push(this.terminalWatcher.onTerminalError(({ terminalId, error, attached }) => {
|
|
230
227
|
if (terminalId === this.terminalId) {
|
|
231
|
-
this.exitStatus = { code: undefined, reason:
|
|
228
|
+
this.exitStatus = { code: undefined, reason: TerminalExitReason.Process };
|
|
232
229
|
this.logger.error(`The terminal process terminated. Cause: ${error}`);
|
|
233
230
|
if (!attached) {
|
|
234
231
|
this.dispose();
|
|
@@ -241,7 +238,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
241
238
|
this.exitStatus = { code, reason };
|
|
242
239
|
}
|
|
243
240
|
else {
|
|
244
|
-
this.exitStatus = { code, reason:
|
|
241
|
+
this.exitStatus = { code, reason: TerminalExitReason.Process };
|
|
245
242
|
}
|
|
246
243
|
if (!attached) {
|
|
247
244
|
this.deferredFinalizeCommandHistory();
|
|
@@ -284,7 +281,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
284
281
|
const contextMenuListener = (event) => {
|
|
285
282
|
event.preventDefault();
|
|
286
283
|
event.stopPropagation();
|
|
287
|
-
this.contextMenuRenderer.render({ menuPath:
|
|
284
|
+
this.contextMenuRenderer.render({ menuPath: TerminalMenus.TERMINAL_CONTEXT_MENU, anchor: event, context: this.node });
|
|
288
285
|
};
|
|
289
286
|
this.node.addEventListener('contextmenu', contextMenuListener);
|
|
290
287
|
this.onDispose(() => this.node.removeEventListener('contextmenu', contextMenuListener));
|
|
@@ -481,8 +478,8 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
481
478
|
const iconClasses = [];
|
|
482
479
|
iconClasses.push(iconClass.id);
|
|
483
480
|
if (iconClass.color) {
|
|
484
|
-
this.styleElement =
|
|
485
|
-
const classId = 'terminal-icon-' +
|
|
481
|
+
this.styleElement = DecorationStyle.createStyleElement(`${this.terminalId}-terminal-style`);
|
|
482
|
+
const classId = 'terminal-icon-' + generateUuid().replace(/-/g, '');
|
|
486
483
|
const color = this.colorRegistry.getCurrentColor(iconClass.color.id);
|
|
487
484
|
this.styleElement.textContent = `
|
|
488
485
|
.${classId}::before {
|
|
@@ -529,15 +526,15 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
529
526
|
this.linkHoverButton.textContent = this.linkHoverMessage();
|
|
530
527
|
this.linkHoverButton.style.cursor = 'pointer';
|
|
531
528
|
this.linkHover.appendChild(this.linkHoverButton);
|
|
532
|
-
const cmdCtrl =
|
|
533
|
-
const cmdHint = document.createTextNode(` (${
|
|
529
|
+
const cmdCtrl = isOSX ? 'cmd' : 'ctrl';
|
|
530
|
+
const cmdHint = document.createTextNode(` (${nls.localizeByDefault(`${cmdCtrl} + click`)})`);
|
|
534
531
|
this.linkHover.appendChild(cmdHint);
|
|
535
532
|
const onMouseEnter = (mouseEvent) => this.onMouseEnterLinkHoverEmitter.fire(mouseEvent);
|
|
536
533
|
this.linkHover.addEventListener('mouseenter', onMouseEnter);
|
|
537
|
-
this.toDispose.push(
|
|
534
|
+
this.toDispose.push(Disposable.create(() => this.linkHover.removeEventListener('mouseenter', onMouseEnter)));
|
|
538
535
|
const onMouseLeave = (mouseEvent) => this.onMouseLeaveLinkHoverEmitter.fire(mouseEvent);
|
|
539
536
|
this.linkHover.addEventListener('mouseleave', onMouseLeave);
|
|
540
|
-
this.toDispose.push(
|
|
537
|
+
this.toDispose.push(Disposable.create(() => this.linkHover.removeEventListener('mouseleave', onMouseLeave)));
|
|
541
538
|
this.node.appendChild(this.linkHover);
|
|
542
539
|
}
|
|
543
540
|
showLinkHover(invokeAction, x, y, message) {
|
|
@@ -550,7 +547,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
550
547
|
this.linkHover.style.left = `${mouseX - 60}px`;
|
|
551
548
|
}
|
|
552
549
|
linkHoverMessage(message) {
|
|
553
|
-
return message ??
|
|
550
|
+
return message ?? nls.localizeByDefault('Follow link');
|
|
554
551
|
}
|
|
555
552
|
hideLinkHover() {
|
|
556
553
|
this.linkHover.style.display = 'none';
|
|
@@ -564,7 +561,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
564
561
|
return this.searchBox;
|
|
565
562
|
}
|
|
566
563
|
onCloseRequest(msg) {
|
|
567
|
-
this.exitStatus = { code: undefined, reason:
|
|
564
|
+
this.exitStatus = { code: undefined, reason: TerminalExitReason.User };
|
|
568
565
|
super.onCloseRequest(msg);
|
|
569
566
|
}
|
|
570
567
|
get dimensions() {
|
|
@@ -574,32 +571,32 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
574
571
|
};
|
|
575
572
|
}
|
|
576
573
|
get cwd() {
|
|
577
|
-
if (!
|
|
574
|
+
if (!IBaseTerminalServer.validateId(this.terminalId)) {
|
|
578
575
|
return Promise.reject(new Error('terminal is not started'));
|
|
579
576
|
}
|
|
580
577
|
if (this.terminalService.getById(this.id)) {
|
|
581
578
|
return this.shellTerminalServer.getCwdURI(this.terminalId)
|
|
582
579
|
.then(cwdUrl => {
|
|
583
|
-
this.lastCwd = new
|
|
580
|
+
this.lastCwd = new URI(cwdUrl);
|
|
584
581
|
return this.lastCwd;
|
|
585
582
|
}).catch(() => this.lastCwd);
|
|
586
583
|
}
|
|
587
|
-
return Promise.resolve(new
|
|
584
|
+
return Promise.resolve(new URI());
|
|
588
585
|
}
|
|
589
586
|
get processId() {
|
|
590
|
-
if (!
|
|
587
|
+
if (!IBaseTerminalServer.validateId(this.terminalId)) {
|
|
591
588
|
return Promise.reject(new Error('terminal is not started'));
|
|
592
589
|
}
|
|
593
590
|
return this.shellTerminalServer.getProcessId(this.terminalId);
|
|
594
591
|
}
|
|
595
592
|
get processInfo() {
|
|
596
|
-
if (!
|
|
593
|
+
if (!IBaseTerminalServer.validateId(this.terminalId)) {
|
|
597
594
|
return Promise.reject(new Error('terminal is not started'));
|
|
598
595
|
}
|
|
599
596
|
return this.shellTerminalServer.getProcessInfo(this.terminalId);
|
|
600
597
|
}
|
|
601
598
|
get envVarCollectionDescriptionsByExtension() {
|
|
602
|
-
if (!
|
|
599
|
+
if (!IBaseTerminalServer.validateId(this.terminalId)) {
|
|
603
600
|
return Promise.reject(new Error('terminal is not started'));
|
|
604
601
|
}
|
|
605
602
|
return this.shellTerminalServer.getEnvVarCollectionDescriptionsByExtension(this.terminalId);
|
|
@@ -621,7 +618,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
621
618
|
return !this.preferences['terminal.integrated.enablePersistentSessions'] || !!this.options.isTransient;
|
|
622
619
|
}
|
|
623
620
|
onDispose(onDispose) {
|
|
624
|
-
this.toDispose.push(
|
|
621
|
+
this.toDispose.push(Disposable.create(onDispose));
|
|
625
622
|
}
|
|
626
623
|
clearOutput() {
|
|
627
624
|
this.term.clear();
|
|
@@ -673,7 +670,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
673
670
|
this._terminalId = typeof id !== 'number' ? await this.createTerminal() : await this.attachTerminal(id);
|
|
674
671
|
this.resizeTerminalProcess();
|
|
675
672
|
this.connectTerminalProcess();
|
|
676
|
-
if (
|
|
673
|
+
if (IBaseTerminalServer.validateId(this.terminalId)) {
|
|
677
674
|
this.onDidOpenEmitter.fire(undefined);
|
|
678
675
|
await this.shellTerminalServer.onAttachAttempted(this._terminalId);
|
|
679
676
|
return this.terminalId;
|
|
@@ -683,7 +680,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
683
680
|
}
|
|
684
681
|
async attachTerminal(id) {
|
|
685
682
|
const terminalId = await this.shellTerminalServer.attach(id);
|
|
686
|
-
if (
|
|
683
|
+
if (IBaseTerminalServer.validateId(terminalId)) {
|
|
687
684
|
// reset exit status if a new terminal process is attached
|
|
688
685
|
this.exitStatus = undefined;
|
|
689
686
|
return terminalId;
|
|
@@ -704,8 +701,8 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
704
701
|
}
|
|
705
702
|
const { cols, rows } = this.term;
|
|
706
703
|
const terminalId = await this.shellTerminalServer.create({
|
|
707
|
-
shell: this.options.shellPath || this.shellPreferences.shell[
|
|
708
|
-
args: this.options.shellArgs || this.shellPreferences.shellArgs[
|
|
704
|
+
shell: this.options.shellPath || this.shellPreferences.shell[OS.backend.type()],
|
|
705
|
+
args: this.options.shellArgs || this.shellPreferences.shellArgs[OS.backend.type()],
|
|
709
706
|
env: this.options.env,
|
|
710
707
|
strictEnv: this.options.strictEnv,
|
|
711
708
|
isPseudo: this.options.isPseudoTerminal,
|
|
@@ -714,9 +711,9 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
714
711
|
rows,
|
|
715
712
|
enableShellIntegration: this.preferences['terminal.integrated.enableCommandHistory'] ?? false,
|
|
716
713
|
});
|
|
717
|
-
if (
|
|
714
|
+
if (IBaseTerminalServer.validateId(terminalId)) {
|
|
718
715
|
const processInfo = await this.shellTerminalServer.getProcessInfo(terminalId);
|
|
719
|
-
const shellType =
|
|
716
|
+
const shellType = guessShellTypeFromExecutable(processInfo.executable);
|
|
720
717
|
if (shellType) {
|
|
721
718
|
this._shellName = shellType;
|
|
722
719
|
this.onShellTypeChangedEmiter.fire(shellType);
|
|
@@ -741,7 +738,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
741
738
|
}
|
|
742
739
|
onFitRequest(msg) {
|
|
743
740
|
super.onFitRequest(msg);
|
|
744
|
-
|
|
741
|
+
MessageLoop.sendMessage(this, Widget.ResizeMessage.UnknownSize);
|
|
745
742
|
}
|
|
746
743
|
onActivateRequest(msg) {
|
|
747
744
|
super.onActivateRequest(msg);
|
|
@@ -753,12 +750,12 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
753
750
|
this.shown = true;
|
|
754
751
|
}
|
|
755
752
|
onAfterAttach(msg) {
|
|
756
|
-
|
|
753
|
+
Widget.attach(this.searchBox, this.node);
|
|
757
754
|
super.onAfterAttach(msg);
|
|
758
755
|
this.update();
|
|
759
756
|
}
|
|
760
757
|
onBeforeDetach(msg) {
|
|
761
|
-
|
|
758
|
+
Widget.detach(this.searchBox);
|
|
762
759
|
super.onBeforeDetach(msg);
|
|
763
760
|
}
|
|
764
761
|
onResize(msg) {
|
|
@@ -788,8 +785,8 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
788
785
|
this.toDispose.push(this.toDisposeOnConnect);
|
|
789
786
|
this.connectionClosed = false;
|
|
790
787
|
this.waitingForConnectionCloseToDispose = false;
|
|
791
|
-
const waitForConnection = this.waitForConnection = new
|
|
792
|
-
this.connectionProvider.listen(`${
|
|
788
|
+
const waitForConnection = this.waitForConnection = new Deferred();
|
|
789
|
+
this.connectionProvider.listen(`${terminalsPath}/${this.terminalId}`, (_path, connection) => {
|
|
793
790
|
connection.onMessage(e => {
|
|
794
791
|
this.write(e().readString());
|
|
795
792
|
});
|
|
@@ -799,7 +796,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
799
796
|
connection.getWriteBuffer().writeString(data).commit();
|
|
800
797
|
}
|
|
801
798
|
};
|
|
802
|
-
const disposable = new
|
|
799
|
+
const disposable = new DisposableCollection();
|
|
803
800
|
disposable.push(this.term.onData(sendData));
|
|
804
801
|
disposable.push(this.term.onBinary(sendData));
|
|
805
802
|
connection.onClose(() => {
|
|
@@ -830,12 +827,12 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
830
827
|
// Workaround for https://github.com/xtermjs/xterm.js/issues/4775. Can be removed for releases > 5.3.0
|
|
831
828
|
// eslint-disable-next-line @typescript-eslint/no-explicit-any
|
|
832
829
|
const viewPort = this.term._core.viewport;
|
|
833
|
-
viewPort.register(
|
|
830
|
+
viewPort.register(Disposable.create(() => {
|
|
834
831
|
if (typeof viewPort._refreshAnimationFrame === 'number') {
|
|
835
832
|
viewPort._coreBrowserService.window.cancelAnimationFrame(viewPort._refreshAnimationFrame);
|
|
836
833
|
}
|
|
837
834
|
}));
|
|
838
|
-
if (
|
|
835
|
+
if (isFirefox) {
|
|
839
836
|
// monkey patching intersection observer handling for secondary window support
|
|
840
837
|
// eslint-disable-next-line @typescript-eslint/no-explicit-any
|
|
841
838
|
const renderService = this.term._core._renderService;
|
|
@@ -881,7 +878,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
881
878
|
}
|
|
882
879
|
}
|
|
883
880
|
async executeCommand(commandOptions) {
|
|
884
|
-
this.sendText(this.shellCommandBuilder.buildCommand(await this.processInfo, commandOptions) +
|
|
881
|
+
this.sendText(this.shellCommandBuilder.buildCommand(await this.processInfo, commandOptions) + OS.backend.EOL);
|
|
885
882
|
this.resetCommandOutputMarker();
|
|
886
883
|
if (this._commandHistoryState) {
|
|
887
884
|
this._commandHistoryState.clearCommandCollectionState();
|
|
@@ -921,7 +918,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
921
918
|
// a refresh for example won't close it.
|
|
922
919
|
this.shellTerminalServer.close(this.terminalId);
|
|
923
920
|
// Exit status is set when terminal is closed by user or by process, so most likely an extension closed it.
|
|
924
|
-
this.exitStatus = { code: undefined, reason:
|
|
921
|
+
this.exitStatus = { code: undefined, reason: TerminalExitReason.Extension };
|
|
925
922
|
}
|
|
926
923
|
if (this.exitStatus) {
|
|
927
924
|
this.onTermDidClose.fire(this);
|
|
@@ -951,7 +948,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
951
948
|
if (this.options.isPseudoTerminal) {
|
|
952
949
|
return;
|
|
953
950
|
}
|
|
954
|
-
if (!
|
|
951
|
+
if (!IBaseTerminalServer.validateId(this.terminalId)
|
|
955
952
|
|| this.exitStatus
|
|
956
953
|
|| !this.terminalService.getById(this.id)) {
|
|
957
954
|
return;
|
|
@@ -980,9 +977,9 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
980
977
|
};
|
|
981
978
|
}
|
|
982
979
|
customKeyHandler(event) {
|
|
983
|
-
const keyBindings =
|
|
984
|
-
const ctrlCmdCopy = (
|
|
985
|
-
const ctrlCmdPaste = (
|
|
980
|
+
const keyBindings = KeyCode.createKeyCode(event).toString();
|
|
981
|
+
const ctrlCmdCopy = (isOSX && keyBindings === 'meta+c') || (!isOSX && keyBindings === 'ctrl+c');
|
|
982
|
+
const ctrlCmdPaste = (isOSX && keyBindings === 'meta+v') || (!isOSX && keyBindings === 'ctrl+v');
|
|
986
983
|
if (ctrlCmdCopy && this.enableCopy && this.term.hasSelection()) {
|
|
987
984
|
return false;
|
|
988
985
|
}
|
|
@@ -1025,7 +1022,7 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
1025
1022
|
attachPressEnterKeyToCloseListener(term) {
|
|
1026
1023
|
if (term.textarea) {
|
|
1027
1024
|
this.isAttachedCloseListener = true;
|
|
1028
|
-
this.addKeyListener(term.textarea,
|
|
1025
|
+
this.addKeyListener(term.textarea, Key.ENTER, (event) => {
|
|
1029
1026
|
this.dispose();
|
|
1030
1027
|
this.isAttachedCloseListener = false;
|
|
1031
1028
|
});
|
|
@@ -1044,13 +1041,13 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
1044
1041
|
const extensions = values[0];
|
|
1045
1042
|
const processId = values[1];
|
|
1046
1043
|
const processInfo = values[2];
|
|
1047
|
-
const markdown = new
|
|
1048
|
-
markdown.appendMarkdown(
|
|
1049
|
-
markdown.appendMarkdown(
|
|
1044
|
+
const markdown = new MarkdownStringImpl();
|
|
1045
|
+
markdown.appendMarkdown(nls.localizeByDefault('Process ID ({0}): {1}', 'PID', processId) + '\\\n');
|
|
1046
|
+
markdown.appendMarkdown(nls.localizeByDefault('Command line: {0}', processInfo.executable +
|
|
1050
1047
|
' ' +
|
|
1051
1048
|
processInfo.arguments.join(' ') +
|
|
1052
1049
|
'\n\n---\n\n'));
|
|
1053
|
-
markdown.appendMarkdown(
|
|
1050
|
+
markdown.appendMarkdown(nls.localizeByDefault("The following extensions have contributed to this terminal's environment:") + '\n');
|
|
1054
1051
|
extensions.forEach((arr, key) => {
|
|
1055
1052
|
arr.forEach(value => {
|
|
1056
1053
|
if (value === undefined) {
|
|
@@ -1074,92 +1071,70 @@ let TerminalWidgetImpl = class TerminalWidgetImpl extends terminal_widget_1.Term
|
|
|
1074
1071
|
return this.enhancedPreviewNode;
|
|
1075
1072
|
}
|
|
1076
1073
|
};
|
|
1077
|
-
|
|
1078
|
-
|
|
1079
|
-
(0, inversify_1.inject)(browser_2.WorkspaceService),
|
|
1080
|
-
tslib_1.__metadata("design:type", browser_2.WorkspaceService)
|
|
1074
|
+
__decorate([
|
|
1075
|
+
inject(WorkspaceService)
|
|
1081
1076
|
], TerminalWidgetImpl.prototype, "workspaceService", void 0);
|
|
1082
|
-
|
|
1083
|
-
|
|
1084
|
-
tslib_1.__metadata("design:type", service_connection_provider_1.ServiceConnectionProvider)
|
|
1077
|
+
__decorate([
|
|
1078
|
+
inject(RemoteConnectionProvider)
|
|
1085
1079
|
], TerminalWidgetImpl.prototype, "connectionProvider", void 0);
|
|
1086
|
-
|
|
1087
|
-
|
|
1088
|
-
tslib_1.__metadata("design:type", Object)
|
|
1080
|
+
__decorate([
|
|
1081
|
+
inject(TerminalWidgetOptions)
|
|
1089
1082
|
], TerminalWidgetImpl.prototype, "options", void 0);
|
|
1090
|
-
|
|
1091
|
-
|
|
1092
|
-
tslib_1.__metadata("design:type", Object)
|
|
1083
|
+
__decorate([
|
|
1084
|
+
inject(ShellTerminalServerProxy)
|
|
1093
1085
|
], TerminalWidgetImpl.prototype, "shellTerminalServer", void 0);
|
|
1094
|
-
|
|
1095
|
-
|
|
1096
|
-
tslib_1.__metadata("design:type", terminal_watcher_1.TerminalWatcher)
|
|
1086
|
+
__decorate([
|
|
1087
|
+
inject(TerminalWatcher)
|
|
1097
1088
|
], TerminalWidgetImpl.prototype, "terminalWatcher", void 0);
|
|
1098
|
-
|
|
1099
|
-
|
|
1100
|
-
|
|
1101
|
-
tslib_1.__metadata("design:type", Object)
|
|
1089
|
+
__decorate([
|
|
1090
|
+
inject(ILogger),
|
|
1091
|
+
named('terminal:TerminalWidgetImpl')
|
|
1102
1092
|
], TerminalWidgetImpl.prototype, "logger", void 0);
|
|
1103
|
-
|
|
1104
|
-
|
|
1105
|
-
tslib_1.__metadata("design:type", String)
|
|
1093
|
+
__decorate([
|
|
1094
|
+
inject('terminal-dom-id')
|
|
1106
1095
|
], TerminalWidgetImpl.prototype, "_terminalDOMId", void 0);
|
|
1107
|
-
|
|
1108
|
-
|
|
1109
|
-
tslib_1.__metadata("design:type", Object)
|
|
1096
|
+
__decorate([
|
|
1097
|
+
inject(TerminalPreferences)
|
|
1110
1098
|
], TerminalWidgetImpl.prototype, "preferences", void 0);
|
|
1111
|
-
|
|
1112
|
-
|
|
1113
|
-
|
|
1114
|
-
tslib_1.__metadata("design:type", Object)
|
|
1099
|
+
__decorate([
|
|
1100
|
+
inject(ContributionProvider),
|
|
1101
|
+
named(TerminalContribution)
|
|
1115
1102
|
], TerminalWidgetImpl.prototype, "terminalContributionProvider", void 0);
|
|
1116
|
-
|
|
1117
|
-
|
|
1118
|
-
tslib_1.__metadata("design:type", Object)
|
|
1103
|
+
__decorate([
|
|
1104
|
+
inject(TerminalService)
|
|
1119
1105
|
], TerminalWidgetImpl.prototype, "terminalService", void 0);
|
|
1120
|
-
|
|
1121
|
-
|
|
1122
|
-
tslib_1.__metadata("design:type", Function)
|
|
1106
|
+
__decorate([
|
|
1107
|
+
inject(TerminalSearchWidgetFactory)
|
|
1123
1108
|
], TerminalWidgetImpl.prototype, "terminalSearchBoxFactory", void 0);
|
|
1124
|
-
|
|
1125
|
-
|
|
1126
|
-
tslib_1.__metadata("design:type", terminal_copy_on_selection_handler_1.TerminalCopyOnSelectionHandler)
|
|
1109
|
+
__decorate([
|
|
1110
|
+
inject(TerminalCopyOnSelectionHandler)
|
|
1127
1111
|
], TerminalWidgetImpl.prototype, "copyOnSelectionHandler", void 0);
|
|
1128
|
-
|
|
1129
|
-
|
|
1130
|
-
tslib_1.__metadata("design:type", terminal_theme_service_1.TerminalThemeService)
|
|
1112
|
+
__decorate([
|
|
1113
|
+
inject(TerminalThemeService)
|
|
1131
1114
|
], TerminalWidgetImpl.prototype, "themeService", void 0);
|
|
1132
|
-
|
|
1133
|
-
|
|
1134
|
-
tslib_1.__metadata("design:type", color_registry_1.ColorRegistry)
|
|
1115
|
+
__decorate([
|
|
1116
|
+
inject(ColorRegistry)
|
|
1135
1117
|
], TerminalWidgetImpl.prototype, "colorRegistry", void 0);
|
|
1136
|
-
|
|
1137
|
-
|
|
1138
|
-
tslib_1.__metadata("design:type", shell_command_builder_1.ShellCommandBuilder)
|
|
1118
|
+
__decorate([
|
|
1119
|
+
inject(ShellCommandBuilder)
|
|
1139
1120
|
], TerminalWidgetImpl.prototype, "shellCommandBuilder", void 0);
|
|
1140
|
-
|
|
1141
|
-
|
|
1142
|
-
tslib_1.__metadata("design:type", browser_1.ContextMenuRenderer)
|
|
1121
|
+
__decorate([
|
|
1122
|
+
inject(ContextMenuRenderer)
|
|
1143
1123
|
], TerminalWidgetImpl.prototype, "contextMenuRenderer", void 0);
|
|
1144
|
-
|
|
1145
|
-
|
|
1146
|
-
tslib_1.__metadata("design:type", Function)
|
|
1124
|
+
__decorate([
|
|
1125
|
+
inject(MarkdownRendererFactory)
|
|
1147
1126
|
], TerminalWidgetImpl.prototype, "markdownRendererFactory", void 0);
|
|
1148
|
-
|
|
1149
|
-
|
|
1150
|
-
tslib_1.__metadata("design:type", Function)
|
|
1127
|
+
__decorate([
|
|
1128
|
+
inject(TerminalCommandHistoryStateFactory)
|
|
1151
1129
|
], TerminalWidgetImpl.prototype, "commandHistoryStateFactory", void 0);
|
|
1152
|
-
|
|
1153
|
-
|
|
1154
|
-
tslib_1.__metadata("design:type", Object)
|
|
1130
|
+
__decorate([
|
|
1131
|
+
inject(ContextKeyService)
|
|
1155
1132
|
], TerminalWidgetImpl.prototype, "contextKeyService", void 0);
|
|
1156
|
-
|
|
1157
|
-
|
|
1158
|
-
tslib_1.__metadata("design:type", Function),
|
|
1159
|
-
tslib_1.__metadata("design:paramtypes", []),
|
|
1160
|
-
tslib_1.__metadata("design:returntype", void 0)
|
|
1133
|
+
__decorate([
|
|
1134
|
+
postConstruct()
|
|
1161
1135
|
], TerminalWidgetImpl.prototype, "init", null);
|
|
1162
|
-
|
|
1163
|
-
|
|
1136
|
+
TerminalWidgetImpl = TerminalWidgetImpl_1 = __decorate([
|
|
1137
|
+
injectable()
|
|
1164
1138
|
], TerminalWidgetImpl);
|
|
1139
|
+
export { TerminalWidgetImpl };
|
|
1165
1140
|
//# sourceMappingURL=terminal-widget-impl.js.map
|