@theia/terminal 1.77.0-next.0 → 1.77.0-next.101
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 -11
- 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 -18
- 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 +197 -222
- package/lib/browser/terminal-frontend-contribution.js.map +1 -1
- package/lib/browser/terminal-frontend-module.d.ts.map +1 -1
- package/lib/browser/terminal-frontend-module.js +94 -92
- 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 +12 -0
- package/lib/browser/terminal-secondary-window-close-contribution.d.ts.map +1 -0
- package/lib/browser/terminal-secondary-window-close-contribution.js +46 -0
- package/lib/browser/terminal-secondary-window-close-contribution.js.map +1 -0
- 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.d.ts +11 -1
- package/lib/browser/terminal-theme-service.d.ts.map +1 -1
- package/lib/browser/terminal-theme-service.js +45 -19
- package/lib/browser/terminal-theme-service.js.map +1 -1
- package/lib/browser/terminal-theme-service.spec.d.ts +2 -0
- package/lib/browser/terminal-theme-service.spec.d.ts.map +1 -0
- package/lib/browser/terminal-theme-service.spec.js +108 -0
- package/lib/browser/terminal-theme-service.spec.js.map +1 -0
- 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 -19
- 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 +15 -3
- package/lib/node/shell-integration-injector.d.ts.map +1 -1
- package/lib/node/shell-integration-injector.js +48 -20
- package/lib/node/shell-integration-injector.js.map +1 -1
- package/lib/node/shell-integration-injector.spec.d.ts +2 -0
- package/lib/node/shell-integration-injector.spec.d.ts.map +1 -0
- package/lib/node/shell-integration-injector.spec.js +83 -0
- package/lib/node/shell-integration-injector.spec.js.map +1 -0
- package/lib/node/shell-process.d.ts +1 -1
- package/lib/node/shell-process.d.ts.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 -13
- 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 -37
- 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 -7
- package/lib/node/terminal-server.spec.js.map +1 -1
- package/lib/node/test/terminal-test-container.js +17 -20
- 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 -0
- package/package.json +20 -9
- 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 +17 -13
- package/src/browser/terminal-frontend-module.ts +26 -22
- 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 +46 -0
- package/src/browser/terminal-shell-handler.ts +3 -3
- package/src/browser/terminal-theme-service.spec.ts +128 -0
- package/src/browser/terminal-theme-service.ts +34 -3
- 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 +95 -0
- package/src/node/shell-integration-injector.ts +43 -6
- package/src/node/shell-process.ts +1 -1
- 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 +12 -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
|
//
|
|
@@ -14,34 +13,32 @@
|
|
|
14
13
|
//
|
|
15
14
|
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
15
|
// *****************************************************************************
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
const terminal_creation_handler_1 = require("./terminal-creation-handler");
|
|
42
|
-
var TerminalMenus;
|
|
16
|
+
import { __decorate } from "tslib";
|
|
17
|
+
import { inject, injectable, named, optional, postConstruct } from '@theia/core/shared/inversify';
|
|
18
|
+
import { Command, DisposableCollection, isOSX, SelectionService, Emitter, OS, MAIN_MENU_BAR, PreferenceService, PreferenceScope } from '@theia/core/lib/common';
|
|
19
|
+
import { ApplicationShell, KeyCode, Key, WidgetManager, KeybindingRegistry, LabelProvider, StorageService, QuickInputService, codicon, CommonCommands, Dialog, ConfirmDialog, SHELL_TABBAR_CONTEXT_MENU } from '@theia/core/lib/browser';
|
|
20
|
+
import { ClipboardService } from '@theia/core/lib/browser/clipboard-service';
|
|
21
|
+
import { TERMINAL_WIDGET_FACTORY_ID, TerminalWidgetImpl, nextTerminalCreationToken } from './terminal-widget-impl.js';
|
|
22
|
+
import { TerminalWidget } from './base/terminal-widget.js';
|
|
23
|
+
import { ContributedTerminalProfileStore, NULL_PROFILE, TerminalProfileService, UserTerminalProfileStore } from './terminal-profile-service.js';
|
|
24
|
+
import { UriAwareCommandHandler } from '@theia/core/lib/common/uri-command-handler';
|
|
25
|
+
import { ShellTerminalServerProxy } from '../common/shell-terminal-protocol.js';
|
|
26
|
+
import URI from '@theia/core/lib/common/uri';
|
|
27
|
+
import { WorkspaceService } from '@theia/workspace/lib/browser';
|
|
28
|
+
import { ContextKeyService } from '@theia/core/lib/browser/context-key-service';
|
|
29
|
+
import { FileService } from '@theia/filesystem/lib/browser/file-service';
|
|
30
|
+
import { TerminalCopyOnSelectionHandler } from './terminal-copy-on-selection-handler.js';
|
|
31
|
+
import { TerminalWatcher } from '../common/terminal-watcher.js';
|
|
32
|
+
import { nls } from '@theia/core/lib/common/nls';
|
|
33
|
+
import { terminalAnsiColorMap, TerminalPreferences } from '../common/terminal-preferences.js';
|
|
34
|
+
import { ShellTerminalProfile } from './shell-terminal-profile.js';
|
|
35
|
+
import { VariableResolverService } from '@theia/variable-resolver/lib/browser';
|
|
36
|
+
import { Color } from '@theia/core/lib/common/color';
|
|
37
|
+
import { ContributionProvider, ILogger } from '@theia/core';
|
|
38
|
+
import { TerminalCreationHandler } from './terminal-creation-handler.js';
|
|
39
|
+
export var TerminalMenus;
|
|
43
40
|
(function (TerminalMenus) {
|
|
44
|
-
TerminalMenus.TERMINAL = [...
|
|
41
|
+
TerminalMenus.TERMINAL = [...MAIN_MENU_BAR, '7_terminal'];
|
|
45
42
|
TerminalMenus.TERMINAL_NEW = [...TerminalMenus.TERMINAL, '1_terminal'];
|
|
46
43
|
TerminalMenus.TERMINAL_TASKS = [...TerminalMenus.TERMINAL, '2_terminal'];
|
|
47
44
|
TerminalMenus.TERMINAL_TASKS_INFO = [...TerminalMenus.TERMINAL_TASKS, '3_terminal'];
|
|
@@ -50,103 +47,103 @@ var TerminalMenus;
|
|
|
50
47
|
TerminalMenus.TERMINAL_OPEN_EDITORS_CONTEXT_MENU = ['open-editors-context-menu', 'navigation'];
|
|
51
48
|
TerminalMenus.TERMINAL_CONTEXT_MENU = ['terminal-context-menu'];
|
|
52
49
|
TerminalMenus.TERMINAL_CONTRIBUTIONS = [...TerminalMenus.TERMINAL_CONTEXT_MENU, '5_terminal_contributions'];
|
|
53
|
-
TerminalMenus.TERMINAL_TITLE_CONTRIBUTIONS = [...
|
|
54
|
-
})(TerminalMenus || (
|
|
55
|
-
var TerminalCommands;
|
|
50
|
+
TerminalMenus.TERMINAL_TITLE_CONTRIBUTIONS = [...SHELL_TABBAR_CONTEXT_MENU, 'terminal_title_contributions'];
|
|
51
|
+
})(TerminalMenus || (TerminalMenus = {}));
|
|
52
|
+
export var TerminalCommands;
|
|
56
53
|
(function (TerminalCommands) {
|
|
57
54
|
TerminalCommands.TERMINAL_CATEGORY = 'Terminal';
|
|
58
|
-
TerminalCommands.TERMINAL_CATEGORY_KEY =
|
|
59
|
-
TerminalCommands.NEW =
|
|
55
|
+
TerminalCommands.TERMINAL_CATEGORY_KEY = nls.getDefaultKey(TerminalCommands.TERMINAL_CATEGORY);
|
|
56
|
+
TerminalCommands.NEW = Command.toDefaultLocalizedCommand({
|
|
60
57
|
id: 'terminal:new',
|
|
61
58
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
62
59
|
label: 'Create New Terminal'
|
|
63
60
|
});
|
|
64
|
-
TerminalCommands.PROFILE_NEW =
|
|
61
|
+
TerminalCommands.PROFILE_NEW = Command.toLocalizedCommand({
|
|
65
62
|
id: 'terminal:new:profile',
|
|
66
63
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
67
64
|
label: 'Create New Integrated Terminal from a Profile'
|
|
68
65
|
}, undefined, TerminalCommands.TERMINAL_CATEGORY_KEY);
|
|
69
|
-
TerminalCommands.PROFILE_DEFAULT =
|
|
66
|
+
TerminalCommands.PROFILE_DEFAULT = Command.toLocalizedCommand({
|
|
70
67
|
id: 'terminal:profile:default',
|
|
71
68
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
72
69
|
label: 'Choose the default Terminal Profile'
|
|
73
70
|
}, undefined, TerminalCommands.TERMINAL_CATEGORY_KEY);
|
|
74
|
-
TerminalCommands.NEW_ACTIVE_WORKSPACE =
|
|
71
|
+
TerminalCommands.NEW_ACTIVE_WORKSPACE = Command.toDefaultLocalizedCommand({
|
|
75
72
|
id: 'terminal:new:active:workspace',
|
|
76
73
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
77
74
|
label: 'Create New Terminal (In Active Workspace)'
|
|
78
75
|
});
|
|
79
|
-
TerminalCommands.TERMINAL_CLEAR =
|
|
76
|
+
TerminalCommands.TERMINAL_CLEAR = Command.toDefaultLocalizedCommand({
|
|
80
77
|
id: 'terminal:clear',
|
|
81
78
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
82
79
|
label: 'Clear'
|
|
83
80
|
});
|
|
84
|
-
TerminalCommands.TERMINAL_CONTEXT =
|
|
81
|
+
TerminalCommands.TERMINAL_CONTEXT = Command.toDefaultLocalizedCommand({
|
|
85
82
|
id: 'terminal:context',
|
|
86
83
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
87
84
|
label: 'Open in Integrated Terminal'
|
|
88
85
|
});
|
|
89
|
-
TerminalCommands.SPLIT =
|
|
86
|
+
TerminalCommands.SPLIT = Command.toDefaultLocalizedCommand({
|
|
90
87
|
id: 'terminal:split',
|
|
91
88
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
92
89
|
label: 'Split Terminal'
|
|
93
90
|
});
|
|
94
|
-
TerminalCommands.TERMINAL_FIND_TEXT =
|
|
91
|
+
TerminalCommands.TERMINAL_FIND_TEXT = Command.toDefaultLocalizedCommand({
|
|
95
92
|
id: 'terminal:find',
|
|
96
93
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
97
94
|
label: 'Find'
|
|
98
95
|
});
|
|
99
|
-
TerminalCommands.TERMINAL_FIND_TEXT_CANCEL =
|
|
96
|
+
TerminalCommands.TERMINAL_FIND_TEXT_CANCEL = Command.toDefaultLocalizedCommand({
|
|
100
97
|
id: 'terminal:find:cancel',
|
|
101
98
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
102
99
|
label: 'Hide Find'
|
|
103
100
|
});
|
|
104
|
-
TerminalCommands.SCROLL_LINE_UP =
|
|
101
|
+
TerminalCommands.SCROLL_LINE_UP = Command.toDefaultLocalizedCommand({
|
|
105
102
|
id: 'terminal:scroll:line:up',
|
|
106
103
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
107
104
|
label: 'Scroll Up (Line)'
|
|
108
105
|
});
|
|
109
|
-
TerminalCommands.SCROLL_LINE_DOWN =
|
|
106
|
+
TerminalCommands.SCROLL_LINE_DOWN = Command.toDefaultLocalizedCommand({
|
|
110
107
|
id: 'terminal:scroll:line:down',
|
|
111
108
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
112
109
|
label: 'Scroll Down (Line)'
|
|
113
110
|
});
|
|
114
|
-
TerminalCommands.SCROLL_TO_TOP =
|
|
111
|
+
TerminalCommands.SCROLL_TO_TOP = Command.toDefaultLocalizedCommand({
|
|
115
112
|
id: 'terminal:scroll:top',
|
|
116
113
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
117
114
|
label: 'Scroll to Top'
|
|
118
115
|
});
|
|
119
|
-
TerminalCommands.SCROLL_PAGE_UP =
|
|
116
|
+
TerminalCommands.SCROLL_PAGE_UP = Command.toDefaultLocalizedCommand({
|
|
120
117
|
id: 'terminal:scroll:page:up',
|
|
121
118
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
122
119
|
label: 'Scroll Up (Page)'
|
|
123
120
|
});
|
|
124
|
-
TerminalCommands.SCROLL_PAGE_DOWN =
|
|
121
|
+
TerminalCommands.SCROLL_PAGE_DOWN = Command.toDefaultLocalizedCommand({
|
|
125
122
|
id: 'terminal:scroll:page:down',
|
|
126
123
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
127
124
|
label: 'Scroll Down (Page)'
|
|
128
125
|
});
|
|
129
|
-
TerminalCommands.TOGGLE_TERMINAL =
|
|
126
|
+
TerminalCommands.TOGGLE_TERMINAL = Command.toDefaultLocalizedCommand({
|
|
130
127
|
id: 'workbench.action.terminal.toggleTerminal',
|
|
131
128
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
132
129
|
label: 'Toggle Terminal'
|
|
133
130
|
});
|
|
134
|
-
TerminalCommands.KILL_TERMINAL =
|
|
131
|
+
TerminalCommands.KILL_TERMINAL = Command.toDefaultLocalizedCommand({
|
|
135
132
|
id: 'terminal:kill',
|
|
136
133
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
137
134
|
label: 'Kill Terminal'
|
|
138
135
|
});
|
|
139
|
-
TerminalCommands.SELECT_ALL =
|
|
136
|
+
TerminalCommands.SELECT_ALL = Command.toDefaultLocalizedCommand({
|
|
140
137
|
id: 'terminal:select:all',
|
|
141
138
|
label: 'Select All',
|
|
142
139
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
143
140
|
});
|
|
144
|
-
TerminalCommands.PASTE_TERMINAL =
|
|
141
|
+
TerminalCommands.PASTE_TERMINAL = Command.toDefaultLocalizedCommand({
|
|
145
142
|
id: 'workbench.action.terminal.paste',
|
|
146
143
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
147
144
|
label: 'Paste into Active Terminal'
|
|
148
145
|
});
|
|
149
|
-
TerminalCommands.COPY_TERMINAL_SELECTION =
|
|
146
|
+
TerminalCommands.COPY_TERMINAL_SELECTION = Command.toDefaultLocalizedCommand({
|
|
150
147
|
id: 'workbench.action.terminal.copySelection',
|
|
151
148
|
category: TerminalCommands.TERMINAL_CATEGORY,
|
|
152
149
|
label: 'Copy Selection'
|
|
@@ -154,19 +151,19 @@ var TerminalCommands;
|
|
|
154
151
|
/**
|
|
155
152
|
* Command that displays all terminals that are currently opened
|
|
156
153
|
*/
|
|
157
|
-
TerminalCommands.SHOW_ALL_OPENED_TERMINALS =
|
|
154
|
+
TerminalCommands.SHOW_ALL_OPENED_TERMINALS = Command.toDefaultLocalizedCommand({
|
|
158
155
|
id: 'workbench.action.showAllTerminals',
|
|
159
|
-
category:
|
|
156
|
+
category: CommonCommands.VIEW_CATEGORY,
|
|
160
157
|
label: 'Show All Opened Terminals'
|
|
161
158
|
});
|
|
162
|
-
})(TerminalCommands || (
|
|
159
|
+
})(TerminalCommands || (TerminalCommands = {}));
|
|
163
160
|
const ENVIRONMENT_VARIABLE_COLLECTIONS_KEY = 'terminal.integrated.environmentVariableCollections';
|
|
164
161
|
let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
165
162
|
constructor() {
|
|
166
163
|
this.mergePreferencesPromise = Promise.resolve();
|
|
167
|
-
this.onDidCreateTerminalEmitter = new
|
|
164
|
+
this.onDidCreateTerminalEmitter = new Emitter();
|
|
168
165
|
this.onDidCreateTerminal = this.onDidCreateTerminalEmitter.event;
|
|
169
|
-
this.onDidChangeCurrentTerminalEmitter = new
|
|
166
|
+
this.onDidChangeCurrentTerminalEmitter = new Emitter();
|
|
170
167
|
this.onDidChangeCurrentTerminal = this.onDidChangeCurrentTerminalEmitter.event;
|
|
171
168
|
// IDs of the most recently used terminals
|
|
172
169
|
this.mostRecentlyUsedTerminalEntries = [];
|
|
@@ -174,7 +171,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
174
171
|
init() {
|
|
175
172
|
this.shell.onDidChangeCurrentWidget(() => this.updateCurrentTerminal());
|
|
176
173
|
this.widgetManager.onDidCreateWidget(({ widget }) => {
|
|
177
|
-
if (widget instanceof
|
|
174
|
+
if (widget instanceof TerminalWidget) {
|
|
178
175
|
this.updateCurrentTerminal();
|
|
179
176
|
this.onDidCreateTerminalEmitter.fire(widget);
|
|
180
177
|
this.setLastUsedTerminal(widget);
|
|
@@ -183,7 +180,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
183
180
|
const terminalFocusKey = this.contextKeyService.createKey('terminalFocus', false);
|
|
184
181
|
const terminalSearchToggle = this.contextKeyService.createKey('terminalHideSearch', false);
|
|
185
182
|
const updateFocusKey = () => {
|
|
186
|
-
terminalFocusKey.set(this.shell.activeWidget instanceof
|
|
183
|
+
terminalFocusKey.set(this.shell.activeWidget instanceof TerminalWidget);
|
|
187
184
|
terminalSearchToggle.set(this.terminalHideSearch);
|
|
188
185
|
};
|
|
189
186
|
updateFocusKey();
|
|
@@ -200,7 +197,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
200
197
|
});
|
|
201
198
|
}
|
|
202
199
|
get terminalHideSearch() {
|
|
203
|
-
if (!(this.shell.activeWidget instanceof
|
|
200
|
+
if (!(this.shell.activeWidget instanceof TerminalWidget)) {
|
|
204
201
|
return false;
|
|
205
202
|
}
|
|
206
203
|
const searchWidget = this.shell.activeWidget.getSearchBox();
|
|
@@ -217,16 +214,16 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
217
214
|
// extension contributions get read after this point: need to set the default profile if necessary
|
|
218
215
|
this.profileService.onAdded(id => {
|
|
219
216
|
let defaultProfileId;
|
|
220
|
-
switch (
|
|
221
|
-
case
|
|
217
|
+
switch (OS.backend.type()) {
|
|
218
|
+
case OS.Type.Windows: {
|
|
222
219
|
defaultProfileId = this.terminalPreferences['terminal.integrated.defaultProfile.windows'];
|
|
223
220
|
break;
|
|
224
221
|
}
|
|
225
|
-
case
|
|
222
|
+
case OS.Type.Linux: {
|
|
226
223
|
defaultProfileId = this.terminalPreferences['terminal.integrated.defaultProfile.linux'];
|
|
227
224
|
break;
|
|
228
225
|
}
|
|
229
|
-
case
|
|
226
|
+
case OS.Type.OSX: {
|
|
230
227
|
defaultProfileId = this.terminalPreferences['terminal.integrated.defaultProfile.osx'];
|
|
231
228
|
break;
|
|
232
229
|
}
|
|
@@ -257,8 +254,8 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
257
254
|
}
|
|
258
255
|
}
|
|
259
256
|
async contributeDefaultProfiles() {
|
|
260
|
-
if (
|
|
261
|
-
this.contributedProfileStore.registerTerminalProfile('cmd', new
|
|
257
|
+
if (OS.backend.isWindows) {
|
|
258
|
+
this.contributedProfileStore.registerTerminalProfile('cmd', new ShellTerminalProfile(this, {
|
|
262
259
|
shellPath: await this.resolveShellPath([
|
|
263
260
|
'${env:windir}\\Sysnative\\cmd.exe',
|
|
264
261
|
'${env:windir}\\System32\\cmd.exe'
|
|
@@ -266,7 +263,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
266
263
|
}));
|
|
267
264
|
}
|
|
268
265
|
else {
|
|
269
|
-
this.contributedProfileStore.registerTerminalProfile('SHELL', new
|
|
266
|
+
this.contributedProfileStore.registerTerminalProfile('SHELL', new ShellTerminalProfile(this, {
|
|
270
267
|
shellPath: await this.resolveShellPath('${SHELL}'),
|
|
271
268
|
shellArgs: ['-l'],
|
|
272
269
|
iconClass: 'codicon codicon-terminal'
|
|
@@ -280,22 +277,22 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
280
277
|
let legacyShellPath;
|
|
281
278
|
let legacyShellArgs;
|
|
282
279
|
const removed = new Set(this.userProfileStore.all.map(([id, profile]) => id));
|
|
283
|
-
switch (
|
|
284
|
-
case
|
|
280
|
+
switch (OS.backend.type()) {
|
|
281
|
+
case OS.Type.Windows: {
|
|
285
282
|
profiles = this.terminalPreferences['terminal.integrated.profiles.windows'];
|
|
286
283
|
defaultProfile = this.terminalPreferences['terminal.integrated.defaultProfile.windows'];
|
|
287
284
|
legacyShellPath = this.terminalPreferences['terminal.integrated.shell.windows'] ?? undefined;
|
|
288
285
|
legacyShellArgs = this.terminalPreferences['terminal.integrated.shellArgs.windows'];
|
|
289
286
|
break;
|
|
290
287
|
}
|
|
291
|
-
case
|
|
288
|
+
case OS.Type.Linux: {
|
|
292
289
|
profiles = this.terminalPreferences['terminal.integrated.profiles.linux'];
|
|
293
290
|
defaultProfile = this.terminalPreferences['terminal.integrated.defaultProfile.linux'];
|
|
294
291
|
legacyShellPath = this.terminalPreferences['terminal.integrated.shell.linux'] ?? undefined;
|
|
295
292
|
legacyShellArgs = this.terminalPreferences['terminal.integrated.shellArgs.linux'];
|
|
296
293
|
break;
|
|
297
294
|
}
|
|
298
|
-
case
|
|
295
|
+
case OS.Type.OSX: {
|
|
299
296
|
profiles = this.terminalPreferences['terminal.integrated.profiles.osx'];
|
|
300
297
|
defaultProfile = this.terminalPreferences['terminal.integrated.defaultProfile.osx'];
|
|
301
298
|
legacyShellPath = this.terminalPreferences['terminal.integrated.shell.osx'] ?? undefined;
|
|
@@ -317,16 +314,16 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
317
314
|
env: profile.env ? await this.variableResolver.resolve(profile.env) : undefined,
|
|
318
315
|
title: profile.overrideName ? id : undefined
|
|
319
316
|
};
|
|
320
|
-
this.userProfileStore.registerTerminalProfile(id, new
|
|
317
|
+
this.userProfileStore.registerTerminalProfile(id, new ShellTerminalProfile(this, options));
|
|
321
318
|
}
|
|
322
319
|
}
|
|
323
320
|
else {
|
|
324
|
-
this.userProfileStore.registerTerminalProfile(id,
|
|
321
|
+
this.userProfileStore.registerTerminalProfile(id, NULL_PROFILE);
|
|
325
322
|
}
|
|
326
323
|
}
|
|
327
324
|
}
|
|
328
325
|
if (legacyShellPath) {
|
|
329
|
-
this.userProfileStore.registerTerminalProfile('Legacy Shell Preferences', new
|
|
326
|
+
this.userProfileStore.registerTerminalProfile('Legacy Shell Preferences', new ShellTerminalProfile(this, {
|
|
330
327
|
shellPath: legacyShellPath,
|
|
331
328
|
shellArgs: legacyShellArgs
|
|
332
329
|
}));
|
|
@@ -350,7 +347,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
350
347
|
for (const p of path) {
|
|
351
348
|
const resolved = await this.variableResolver.resolve(p);
|
|
352
349
|
if (resolved) {
|
|
353
|
-
const resolvedURI =
|
|
350
|
+
const resolvedURI = URI.fromFilePath(resolved);
|
|
354
351
|
if (await this.fileService.exists(resolvedURI)) {
|
|
355
352
|
return resolved;
|
|
356
353
|
}
|
|
@@ -361,7 +358,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
361
358
|
onWillStop() {
|
|
362
359
|
const preferenceValue = this.terminalPreferences['terminal.integrated.confirmOnExit'];
|
|
363
360
|
if (preferenceValue !== 'never') {
|
|
364
|
-
const allTerminals = this.widgetManager.getWidgets(
|
|
361
|
+
const allTerminals = this.widgetManager.getWidgets(TERMINAL_WIDGET_FACTORY_ID);
|
|
365
362
|
if (allTerminals.length) {
|
|
366
363
|
return {
|
|
367
364
|
prepare: async () => {
|
|
@@ -382,13 +379,13 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
382
379
|
}
|
|
383
380
|
async confirmExitWithActiveTerminals(activeTerminalCount) {
|
|
384
381
|
const msg = activeTerminalCount === 1
|
|
385
|
-
?
|
|
386
|
-
:
|
|
387
|
-
const safeToExit = await new
|
|
382
|
+
? nls.localizeByDefault('Do you want to terminate the active terminal session?')
|
|
383
|
+
: nls.localizeByDefault('Do you want to terminate the {0} active terminal sessions?', activeTerminalCount);
|
|
384
|
+
const safeToExit = await new ConfirmDialog({
|
|
388
385
|
title: '',
|
|
389
386
|
msg,
|
|
390
|
-
ok:
|
|
391
|
-
cancel:
|
|
387
|
+
ok: nls.localizeByDefault('Terminate'),
|
|
388
|
+
cancel: Dialog.CANCEL,
|
|
392
389
|
}).open();
|
|
393
390
|
return safeToExit === true;
|
|
394
391
|
}
|
|
@@ -403,7 +400,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
403
400
|
}
|
|
404
401
|
updateCurrentTerminal() {
|
|
405
402
|
const widget = this.shell.currentWidget;
|
|
406
|
-
if (widget instanceof
|
|
403
|
+
if (widget instanceof TerminalWidget) {
|
|
407
404
|
this.setCurrentTerminal(widget);
|
|
408
405
|
}
|
|
409
406
|
else if (!this._currentTerminal || !this._currentTerminal.isVisible) {
|
|
@@ -431,7 +428,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
431
428
|
this.mostRecentlyUsedTerminalEntries.splice(entryIndex, 1);
|
|
432
429
|
}
|
|
433
430
|
else {
|
|
434
|
-
toDispose = new
|
|
431
|
+
toDispose = new DisposableCollection();
|
|
435
432
|
toDispose.push(lastUsedTerminal.onDidChangeVisibility((isVisible) => {
|
|
436
433
|
if (isVisible) {
|
|
437
434
|
this.setLastUsedTerminal(lastUsedTerminal);
|
|
@@ -454,7 +451,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
454
451
|
}
|
|
455
452
|
}
|
|
456
453
|
get all() {
|
|
457
|
-
return this.widgetManager.getWidgets(
|
|
454
|
+
return this.widgetManager.getWidgets(TERMINAL_WIDGET_FACTORY_ID);
|
|
458
455
|
}
|
|
459
456
|
getById(id) {
|
|
460
457
|
return this.all.find(terminal => terminal.id === id);
|
|
@@ -476,7 +473,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
476
473
|
});
|
|
477
474
|
commands.registerCommand(TerminalCommands.PROFILE_NEW, {
|
|
478
475
|
execute: async () => {
|
|
479
|
-
const profile = await this.selectTerminalProfile(
|
|
476
|
+
const profile = await this.selectTerminalProfile(nls.localize('theia/terminal/selectProfile', 'Select a profile for the new terminal'));
|
|
480
477
|
if (!profile) {
|
|
481
478
|
return;
|
|
482
479
|
}
|
|
@@ -498,13 +495,13 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
498
495
|
commands.registerHandler(TerminalCommands.TERMINAL_CLEAR.id, {
|
|
499
496
|
execute: () => this.currentTerminal?.clearOutput()
|
|
500
497
|
});
|
|
501
|
-
commands.registerCommand(TerminalCommands.TERMINAL_CONTEXT,
|
|
498
|
+
commands.registerCommand(TerminalCommands.TERMINAL_CONTEXT, UriAwareCommandHandler.MonoSelect(this.selectionService, {
|
|
502
499
|
execute: uri => this.openInTerminal(uri)
|
|
503
500
|
}));
|
|
504
501
|
commands.registerCommand(TerminalCommands.TERMINAL_FIND_TEXT);
|
|
505
502
|
commands.registerHandler(TerminalCommands.TERMINAL_FIND_TEXT.id, {
|
|
506
503
|
isEnabled: () => {
|
|
507
|
-
if (this.shell.activeWidget instanceof
|
|
504
|
+
if (this.shell.activeWidget instanceof TerminalWidget) {
|
|
508
505
|
return !this.shell.activeWidget.getSearchBox().isVisible;
|
|
509
506
|
}
|
|
510
507
|
return false;
|
|
@@ -518,7 +515,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
518
515
|
commands.registerCommand(TerminalCommands.TERMINAL_FIND_TEXT_CANCEL);
|
|
519
516
|
commands.registerHandler(TerminalCommands.TERMINAL_FIND_TEXT_CANCEL.id, {
|
|
520
517
|
isEnabled: () => {
|
|
521
|
-
if (this.shell.activeWidget instanceof
|
|
518
|
+
if (this.shell.activeWidget instanceof TerminalWidget) {
|
|
522
519
|
return this.shell.activeWidget.getSearchBox().isVisible;
|
|
523
520
|
}
|
|
524
521
|
return false;
|
|
@@ -530,35 +527,35 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
530
527
|
}
|
|
531
528
|
});
|
|
532
529
|
commands.registerCommand(TerminalCommands.SCROLL_LINE_UP, {
|
|
533
|
-
isEnabled: () => this.shell.activeWidget instanceof
|
|
530
|
+
isEnabled: () => this.shell.activeWidget instanceof TerminalWidget,
|
|
534
531
|
isVisible: () => false,
|
|
535
532
|
execute: () => {
|
|
536
533
|
this.shell.activeWidget.scrollLineUp();
|
|
537
534
|
}
|
|
538
535
|
});
|
|
539
536
|
commands.registerCommand(TerminalCommands.SCROLL_LINE_DOWN, {
|
|
540
|
-
isEnabled: () => this.shell.activeWidget instanceof
|
|
537
|
+
isEnabled: () => this.shell.activeWidget instanceof TerminalWidget,
|
|
541
538
|
isVisible: () => false,
|
|
542
539
|
execute: () => {
|
|
543
540
|
this.shell.activeWidget.scrollLineDown();
|
|
544
541
|
}
|
|
545
542
|
});
|
|
546
543
|
commands.registerCommand(TerminalCommands.SCROLL_TO_TOP, {
|
|
547
|
-
isEnabled: () => this.shell.activeWidget instanceof
|
|
544
|
+
isEnabled: () => this.shell.activeWidget instanceof TerminalWidget,
|
|
548
545
|
isVisible: () => false,
|
|
549
546
|
execute: () => {
|
|
550
547
|
this.shell.activeWidget.scrollToTop();
|
|
551
548
|
}
|
|
552
549
|
});
|
|
553
550
|
commands.registerCommand(TerminalCommands.SCROLL_PAGE_UP, {
|
|
554
|
-
isEnabled: () => this.shell.activeWidget instanceof
|
|
551
|
+
isEnabled: () => this.shell.activeWidget instanceof TerminalWidget,
|
|
555
552
|
isVisible: () => false,
|
|
556
553
|
execute: () => {
|
|
557
554
|
this.shell.activeWidget.scrollPageUp();
|
|
558
555
|
}
|
|
559
556
|
});
|
|
560
557
|
commands.registerCommand(TerminalCommands.SCROLL_PAGE_DOWN, {
|
|
561
|
-
isEnabled: () => this.shell.activeWidget instanceof
|
|
558
|
+
isEnabled: () => this.shell.activeWidget instanceof TerminalWidget,
|
|
562
559
|
isVisible: () => false,
|
|
563
560
|
execute: () => {
|
|
564
561
|
this.shell.activeWidget.scrollPageDown();
|
|
@@ -601,20 +598,20 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
601
598
|
}
|
|
602
599
|
getPasteTargetTerminal() {
|
|
603
600
|
const terminal = this.shell.activeWidget;
|
|
604
|
-
if (terminal instanceof
|
|
601
|
+
if (terminal instanceof TerminalWidget && this.terminalPreferences['terminal.enablePaste']) {
|
|
605
602
|
return terminal;
|
|
606
603
|
}
|
|
607
604
|
return undefined;
|
|
608
605
|
}
|
|
609
606
|
getCopySourceTerminal() {
|
|
610
607
|
const terminal = this.shell.activeWidget;
|
|
611
|
-
if (terminal instanceof
|
|
608
|
+
if (terminal instanceof TerminalWidget && terminal.hasSelection() && this.terminalPreferences['terminal.enableCopy']) {
|
|
612
609
|
return terminal;
|
|
613
610
|
}
|
|
614
611
|
return undefined;
|
|
615
612
|
}
|
|
616
613
|
toggleTerminal() {
|
|
617
|
-
const terminals = this.shell.getWidgets('bottom').filter(w => w instanceof
|
|
614
|
+
const terminals = this.shell.getWidgets('bottom').filter(w => w instanceof TerminalWidget);
|
|
618
615
|
if (terminals.length === 0) {
|
|
619
616
|
this.openTerminal();
|
|
620
617
|
return;
|
|
@@ -653,20 +650,20 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
653
650
|
this.open(termWidget);
|
|
654
651
|
}
|
|
655
652
|
registerMenus(menus) {
|
|
656
|
-
menus.registerSubmenu(TerminalMenus.TERMINAL,
|
|
653
|
+
menus.registerSubmenu(TerminalMenus.TERMINAL, TerminalWidgetImpl.LABEL);
|
|
657
654
|
menus.registerMenuAction(TerminalMenus.TERMINAL_NEW, {
|
|
658
655
|
commandId: TerminalCommands.NEW.id,
|
|
659
|
-
label:
|
|
656
|
+
label: nls.localizeByDefault('New Terminal'),
|
|
660
657
|
order: '0'
|
|
661
658
|
});
|
|
662
659
|
menus.registerMenuAction(TerminalMenus.TERMINAL_NEW, {
|
|
663
660
|
commandId: TerminalCommands.PROFILE_NEW.id,
|
|
664
|
-
label:
|
|
661
|
+
label: nls.localize('theia/terminal/profileNew', 'New Terminal (With Profile)...'),
|
|
665
662
|
order: '1'
|
|
666
663
|
});
|
|
667
664
|
menus.registerMenuAction(TerminalMenus.TERMINAL_NEW, {
|
|
668
665
|
commandId: TerminalCommands.PROFILE_DEFAULT.id,
|
|
669
|
-
label:
|
|
666
|
+
label: nls.localize('theia/terminal/profileDefault', 'Choose Default Profile...'),
|
|
670
667
|
order: '3'
|
|
671
668
|
});
|
|
672
669
|
menus.registerMenuAction(TerminalMenus.TERMINAL_NEW, {
|
|
@@ -683,18 +680,18 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
683
680
|
});
|
|
684
681
|
menus.registerMenuAction([...TerminalMenus.TERMINAL_CONTEXT_MENU, '_1'], {
|
|
685
682
|
commandId: TerminalCommands.NEW_ACTIVE_WORKSPACE.id,
|
|
686
|
-
label:
|
|
683
|
+
label: nls.localizeByDefault('New Terminal')
|
|
687
684
|
});
|
|
688
685
|
menus.registerMenuAction([...TerminalMenus.TERMINAL_CONTEXT_MENU, '_1'], {
|
|
689
686
|
commandId: TerminalCommands.SPLIT.id
|
|
690
687
|
});
|
|
691
688
|
menus.registerMenuAction([...TerminalMenus.TERMINAL_CONTEXT_MENU, '_2'], {
|
|
692
689
|
commandId: TerminalCommands.COPY_TERMINAL_SELECTION.id,
|
|
693
|
-
label:
|
|
690
|
+
label: nls.localizeByDefault('Copy')
|
|
694
691
|
});
|
|
695
692
|
menus.registerMenuAction([...TerminalMenus.TERMINAL_CONTEXT_MENU, '_2'], {
|
|
696
693
|
commandId: TerminalCommands.PASTE_TERMINAL.id,
|
|
697
|
-
label:
|
|
694
|
+
label: nls.localizeByDefault('Paste')
|
|
698
695
|
});
|
|
699
696
|
menus.registerMenuAction([...TerminalMenus.TERMINAL_CONTEXT_MENU, '_2'], {
|
|
700
697
|
commandId: TerminalCommands.SELECT_ALL.id
|
|
@@ -712,14 +709,14 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
712
709
|
toolbar.registerItem({
|
|
713
710
|
id: TerminalCommands.NEW.id,
|
|
714
711
|
command: TerminalCommands.NEW.id,
|
|
715
|
-
icon:
|
|
712
|
+
icon: codicon('add'),
|
|
716
713
|
tooltip: TerminalCommands.NEW.label,
|
|
717
714
|
isVisible: w => this.withWidget(w, () => true),
|
|
718
715
|
});
|
|
719
716
|
toolbar.registerItem({
|
|
720
717
|
id: TerminalCommands.SPLIT.id,
|
|
721
718
|
command: TerminalCommands.SPLIT.id,
|
|
722
|
-
icon:
|
|
719
|
+
icon: codicon('split-horizontal'),
|
|
723
720
|
tooltip: TerminalCommands.SPLIT.label
|
|
724
721
|
});
|
|
725
722
|
}
|
|
@@ -731,8 +728,8 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
731
728
|
context of the terminal. */
|
|
732
729
|
const regCtrl = (k) => {
|
|
733
730
|
keybindings.registerKeybinding({
|
|
734
|
-
command:
|
|
735
|
-
keybinding:
|
|
731
|
+
command: KeybindingRegistry.PASSTHROUGH_PSEUDO_COMMAND,
|
|
732
|
+
keybinding: KeyCode.createKeyCode({ key: k, ctrl: true }).toString(),
|
|
736
733
|
when: 'terminalFocus',
|
|
737
734
|
});
|
|
738
735
|
};
|
|
@@ -740,55 +737,55 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
740
737
|
context of the terminal. */
|
|
741
738
|
const regAlt = (k) => {
|
|
742
739
|
keybindings.registerKeybinding({
|
|
743
|
-
command:
|
|
744
|
-
keybinding:
|
|
740
|
+
command: KeybindingRegistry.PASSTHROUGH_PSEUDO_COMMAND,
|
|
741
|
+
keybinding: KeyCode.createKeyCode({ key: k, alt: true }).toString(),
|
|
745
742
|
when: 'terminalFocus'
|
|
746
743
|
});
|
|
747
744
|
};
|
|
748
745
|
/* ctrl-space (000 - NUL). */
|
|
749
|
-
regCtrl(
|
|
746
|
+
regCtrl(Key.SPACE);
|
|
750
747
|
/* ctrl-A (001/1/0x1) through ctrl-Z (032/26/0x1A). */
|
|
751
748
|
for (let i = 0; i < 26; i++) {
|
|
752
749
|
regCtrl({
|
|
753
|
-
keyCode:
|
|
750
|
+
keyCode: Key.KEY_A.keyCode + i,
|
|
754
751
|
code: 'Key' + String.fromCharCode('A'.charCodeAt(0) + i)
|
|
755
752
|
});
|
|
756
753
|
}
|
|
757
754
|
/* ctrl-[ or ctrl-3 (033/27/0x1B - ESC). */
|
|
758
|
-
regCtrl(
|
|
759
|
-
regCtrl(
|
|
755
|
+
regCtrl(Key.BRACKET_LEFT);
|
|
756
|
+
regCtrl(Key.DIGIT3);
|
|
760
757
|
/* ctrl-\ or ctrl-4 (034/28/0x1C - FS). */
|
|
761
|
-
regCtrl(
|
|
762
|
-
regCtrl(
|
|
758
|
+
regCtrl(Key.BACKSLASH);
|
|
759
|
+
regCtrl(Key.DIGIT4);
|
|
763
760
|
/* ctrl-] or ctrl-5 (035/29/0x1D - GS). */
|
|
764
|
-
regCtrl(
|
|
765
|
-
regCtrl(
|
|
761
|
+
regCtrl(Key.BRACKET_RIGHT);
|
|
762
|
+
regCtrl(Key.DIGIT5);
|
|
766
763
|
/* ctrl-6 (036/30/0x1E - RS). */
|
|
767
|
-
regCtrl(
|
|
764
|
+
regCtrl(Key.DIGIT6);
|
|
768
765
|
/* ctrl-7 (037/31/0x1F - US). */
|
|
769
|
-
regCtrl(
|
|
766
|
+
regCtrl(Key.DIGIT7);
|
|
770
767
|
/* ctrl-8 (177/127/0x7F - DEL). */
|
|
771
|
-
regCtrl(
|
|
768
|
+
regCtrl(Key.DIGIT8);
|
|
772
769
|
/* alt-A (0x1B 0x62) through alt-Z (0x1B 0x7A). */
|
|
773
770
|
for (let i = 0; i < 26; i++) {
|
|
774
771
|
regAlt({
|
|
775
|
-
keyCode:
|
|
772
|
+
keyCode: Key.KEY_A.keyCode + i,
|
|
776
773
|
code: 'Key' + String.fromCharCode('A'.charCodeAt(0) + i)
|
|
777
774
|
});
|
|
778
775
|
}
|
|
779
776
|
/* alt-` (0x1B 0x60). */
|
|
780
|
-
regAlt(
|
|
777
|
+
regAlt(Key.BACKQUOTE);
|
|
781
778
|
/* alt-0 (0x1B 0x30) through alt-9 (0x1B 0x39). */
|
|
782
779
|
for (let i = 0; i < 10; i++) {
|
|
783
780
|
regAlt({
|
|
784
|
-
keyCode:
|
|
781
|
+
keyCode: Key.DIGIT0.keyCode + i,
|
|
785
782
|
code: 'Digit' + String.fromCharCode('0'.charCodeAt(0) + i)
|
|
786
783
|
});
|
|
787
784
|
}
|
|
788
|
-
if (
|
|
785
|
+
if (isOSX) {
|
|
789
786
|
// selectAll on OSX
|
|
790
787
|
keybindings.registerKeybinding({
|
|
791
|
-
command:
|
|
788
|
+
command: KeybindingRegistry.PASSTHROUGH_PSEUDO_COMMAND,
|
|
792
789
|
keybinding: 'ctrlcmd+a',
|
|
793
790
|
when: 'terminalFocus'
|
|
794
791
|
});
|
|
@@ -811,10 +808,12 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
811
808
|
// letting the keystroke reach xterm's native paste event. That avoids the permission-gated
|
|
812
809
|
// Clipboard API (navigator.clipboard.readText) that the PASTE_TERMINAL command requires, while
|
|
813
810
|
// preserving bracketed paste. terminal.enablePaste is enforced in TerminalWidgetImpl.customKeyHandler.
|
|
811
|
+
// displayFor still shows the key as the accelerator of the Paste context menu item.
|
|
814
812
|
keybindings.registerKeybinding({
|
|
815
|
-
command:
|
|
813
|
+
command: KeybindingRegistry.PASSTHROUGH_PSEUDO_COMMAND,
|
|
816
814
|
keybinding: 'ctrlcmd+v',
|
|
817
|
-
when: 'terminalFocus'
|
|
815
|
+
when: 'terminalFocus',
|
|
816
|
+
displayFor: TerminalCommands.PASTE_TERMINAL.id
|
|
818
817
|
});
|
|
819
818
|
keybindings.registerKeybinding({
|
|
820
819
|
command: TerminalCommands.COPY_TERMINAL_SELECTION.id,
|
|
@@ -867,8 +866,8 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
867
866
|
});
|
|
868
867
|
}
|
|
869
868
|
async newTerminal(options) {
|
|
870
|
-
const widget = await this.widgetManager.getOrCreateWidget(
|
|
871
|
-
created:
|
|
869
|
+
const widget = await this.widgetManager.getOrCreateWidget(TERMINAL_WIDGET_FACTORY_ID, {
|
|
870
|
+
created: nextTerminalCreationToken(),
|
|
872
871
|
...options
|
|
873
872
|
});
|
|
874
873
|
return widget;
|
|
@@ -898,7 +897,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
898
897
|
resource
|
|
899
898
|
}));
|
|
900
899
|
const selectedItem = await this.quickInputService?.showQuickPick(items, {
|
|
901
|
-
placeholder:
|
|
900
|
+
placeholder: nls.localizeByDefault('Select current working directory for new terminal')
|
|
902
901
|
});
|
|
903
902
|
resolve(selectedItem?.resource?.toString());
|
|
904
903
|
}
|
|
@@ -936,7 +935,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
936
935
|
throw new Error('There are no profiles registered');
|
|
937
936
|
}
|
|
938
937
|
}
|
|
939
|
-
if (profile instanceof
|
|
938
|
+
if (profile instanceof ShellTerminalProfile) {
|
|
940
939
|
if (this.workspaceService.workspace) {
|
|
941
940
|
const cwd = await this.selectTerminalCwd();
|
|
942
941
|
if (!cwd) {
|
|
@@ -951,11 +950,11 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
951
950
|
}
|
|
952
951
|
}
|
|
953
952
|
async chooseDefaultProfile() {
|
|
954
|
-
const result = await this.selectTerminalProfile(
|
|
953
|
+
const result = await this.selectTerminalProfile(nls.localizeByDefault('Select your default terminal profile'));
|
|
955
954
|
if (!result) {
|
|
956
955
|
return;
|
|
957
956
|
}
|
|
958
|
-
this.preferenceService.set(`terminal.integrated.defaultProfile.${
|
|
957
|
+
this.preferenceService.set(`terminal.integrated.defaultProfile.${OS.backend.type().toLowerCase()}`, result[0], PreferenceScope.User);
|
|
959
958
|
}
|
|
960
959
|
async openActiveWorkspaceTerminal(options) {
|
|
961
960
|
const termWidget = await this.newTerminal({});
|
|
@@ -963,7 +962,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
963
962
|
this.open(termWidget, { widgetOptions: options });
|
|
964
963
|
}
|
|
965
964
|
withWidget(widget, fn) {
|
|
966
|
-
if (widget instanceof
|
|
965
|
+
if (widget instanceof TerminalWidget) {
|
|
967
966
|
return fn(widget);
|
|
968
967
|
}
|
|
969
968
|
return false;
|
|
@@ -980,7 +979,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
980
979
|
hcDark: 'panel.background',
|
|
981
980
|
hcLight: 'panel.background'
|
|
982
981
|
},
|
|
983
|
-
description:
|
|
982
|
+
description: nls.localizeByDefault('The background color of the terminal, this allows coloring the terminal differently to the panel.')
|
|
984
983
|
});
|
|
985
984
|
colors.register({
|
|
986
985
|
id: 'terminal.foreground',
|
|
@@ -990,15 +989,15 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
990
989
|
hcDark: '#FFFFFF',
|
|
991
990
|
hcLight: '#292929'
|
|
992
991
|
},
|
|
993
|
-
description:
|
|
992
|
+
description: nls.localizeByDefault('The foreground color of the terminal.')
|
|
994
993
|
});
|
|
995
994
|
colors.register({
|
|
996
995
|
id: 'terminalCursor.foreground',
|
|
997
|
-
description:
|
|
996
|
+
description: nls.localizeByDefault('The foreground color of the terminal cursor.')
|
|
998
997
|
});
|
|
999
998
|
colors.register({
|
|
1000
999
|
id: 'terminalCursor.background',
|
|
1001
|
-
description:
|
|
1000
|
+
description: nls.localizeByDefault('The background color of the terminal cursor. Allows customizing the color of a character overlapped by a block cursor.')
|
|
1002
1001
|
});
|
|
1003
1002
|
colors.register({
|
|
1004
1003
|
id: 'terminal.selectionBackground',
|
|
@@ -1008,17 +1007,17 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
1008
1007
|
hcDark: 'editor.selectionBackground',
|
|
1009
1008
|
hcLight: 'editor.selectionBackground'
|
|
1010
1009
|
},
|
|
1011
|
-
description:
|
|
1010
|
+
description: nls.localizeByDefault('The selection background color of the terminal.')
|
|
1012
1011
|
});
|
|
1013
1012
|
colors.register({
|
|
1014
1013
|
id: 'terminal.inactiveSelectionBackground',
|
|
1015
1014
|
defaults: {
|
|
1016
|
-
light:
|
|
1017
|
-
dark:
|
|
1018
|
-
hcDark:
|
|
1019
|
-
hcLight:
|
|
1015
|
+
light: Color.transparent('terminal.selectionBackground', 0.5),
|
|
1016
|
+
dark: Color.transparent('terminal.selectionBackground', 0.5),
|
|
1017
|
+
hcDark: Color.transparent('terminal.selectionBackground', 0.7),
|
|
1018
|
+
hcLight: Color.transparent('terminal.selectionBackground', 0.5),
|
|
1020
1019
|
},
|
|
1021
|
-
description:
|
|
1020
|
+
description: nls.localizeByDefault('The selection background color of the terminal when it does not have focus.')
|
|
1022
1021
|
});
|
|
1023
1022
|
colors.register({
|
|
1024
1023
|
id: 'terminal.selectionForeground',
|
|
@@ -1029,7 +1028,7 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
1029
1028
|
hcLight: '#ffffff'
|
|
1030
1029
|
},
|
|
1031
1030
|
// eslint-disable-next-line max-len
|
|
1032
|
-
description:
|
|
1031
|
+
description: nls.localizeByDefault('The selection foreground color of the terminal. When this is null the selection foreground will be retained and have the minimum contrast ratio feature applied.')
|
|
1033
1032
|
});
|
|
1034
1033
|
colors.register({
|
|
1035
1034
|
id: 'terminal.border',
|
|
@@ -1039,115 +1038,91 @@ let TerminalFrontendContribution = class TerminalFrontendContribution {
|
|
|
1039
1038
|
hcDark: 'panel.border',
|
|
1040
1039
|
hcLight: 'panel.border'
|
|
1041
1040
|
},
|
|
1042
|
-
description:
|
|
1041
|
+
description: nls.localizeByDefault('The color of the border that separates split panes within the terminal. This defaults to panel.border.')
|
|
1043
1042
|
});
|
|
1044
1043
|
// eslint-disable-next-line guard-for-in
|
|
1045
|
-
for (const id in
|
|
1046
|
-
const entry =
|
|
1044
|
+
for (const id in terminalAnsiColorMap) {
|
|
1045
|
+
const entry = terminalAnsiColorMap[id];
|
|
1047
1046
|
const colorName = id.substring(13);
|
|
1048
1047
|
colors.register({
|
|
1049
1048
|
id,
|
|
1050
1049
|
defaults: entry.defaults,
|
|
1051
|
-
description:
|
|
1050
|
+
description: nls.localizeByDefault("'{0}' ANSI color in the terminal.", colorName)
|
|
1052
1051
|
});
|
|
1053
1052
|
}
|
|
1054
1053
|
}
|
|
1055
1054
|
};
|
|
1056
|
-
|
|
1057
|
-
|
|
1058
|
-
(0, inversify_1.inject)(browser_1.ApplicationShell),
|
|
1059
|
-
tslib_1.__metadata("design:type", browser_1.ApplicationShell)
|
|
1055
|
+
__decorate([
|
|
1056
|
+
inject(ApplicationShell)
|
|
1060
1057
|
], TerminalFrontendContribution.prototype, "shell", void 0);
|
|
1061
|
-
|
|
1062
|
-
|
|
1063
|
-
tslib_1.__metadata("design:type", Object)
|
|
1058
|
+
__decorate([
|
|
1059
|
+
inject(ShellTerminalServerProxy)
|
|
1064
1060
|
], TerminalFrontendContribution.prototype, "shellTerminalServer", void 0);
|
|
1065
|
-
|
|
1066
|
-
|
|
1067
|
-
tslib_1.__metadata("design:type", browser_1.WidgetManager)
|
|
1061
|
+
__decorate([
|
|
1062
|
+
inject(WidgetManager)
|
|
1068
1063
|
], TerminalFrontendContribution.prototype, "widgetManager", void 0);
|
|
1069
|
-
|
|
1070
|
-
|
|
1071
|
-
tslib_1.__metadata("design:type", file_service_1.FileService)
|
|
1064
|
+
__decorate([
|
|
1065
|
+
inject(FileService)
|
|
1072
1066
|
], TerminalFrontendContribution.prototype, "fileService", void 0);
|
|
1073
|
-
|
|
1074
|
-
|
|
1075
|
-
tslib_1.__metadata("design:type", common_1.SelectionService)
|
|
1067
|
+
__decorate([
|
|
1068
|
+
inject(SelectionService)
|
|
1076
1069
|
], TerminalFrontendContribution.prototype, "selectionService", void 0);
|
|
1077
|
-
|
|
1078
|
-
|
|
1079
|
-
tslib_1.__metadata("design:type", browser_1.LabelProvider)
|
|
1070
|
+
__decorate([
|
|
1071
|
+
inject(LabelProvider)
|
|
1080
1072
|
], TerminalFrontendContribution.prototype, "labelProvider", void 0);
|
|
1081
|
-
|
|
1082
|
-
|
|
1083
|
-
|
|
1084
|
-
tslib_1.__metadata("design:type", Object)
|
|
1073
|
+
__decorate([
|
|
1074
|
+
inject(QuickInputService),
|
|
1075
|
+
optional()
|
|
1085
1076
|
], TerminalFrontendContribution.prototype, "quickInputService", void 0);
|
|
1086
|
-
|
|
1087
|
-
|
|
1088
|
-
tslib_1.__metadata("design:type", browser_2.WorkspaceService)
|
|
1077
|
+
__decorate([
|
|
1078
|
+
inject(WorkspaceService)
|
|
1089
1079
|
], TerminalFrontendContribution.prototype, "workspaceService", void 0);
|
|
1090
|
-
|
|
1091
|
-
|
|
1092
|
-
tslib_1.__metadata("design:type", Object)
|
|
1080
|
+
__decorate([
|
|
1081
|
+
inject(TerminalProfileService)
|
|
1093
1082
|
], TerminalFrontendContribution.prototype, "profileService", void 0);
|
|
1094
|
-
|
|
1095
|
-
|
|
1096
|
-
tslib_1.__metadata("design:type", Object)
|
|
1083
|
+
__decorate([
|
|
1084
|
+
inject(UserTerminalProfileStore)
|
|
1097
1085
|
], TerminalFrontendContribution.prototype, "userProfileStore", void 0);
|
|
1098
|
-
|
|
1099
|
-
|
|
1100
|
-
tslib_1.__metadata("design:type", Object)
|
|
1086
|
+
__decorate([
|
|
1087
|
+
inject(ContributedTerminalProfileStore)
|
|
1101
1088
|
], TerminalFrontendContribution.prototype, "contributedProfileStore", void 0);
|
|
1102
|
-
|
|
1103
|
-
|
|
1104
|
-
tslib_1.__metadata("design:type", terminal_watcher_1.TerminalWatcher)
|
|
1089
|
+
__decorate([
|
|
1090
|
+
inject(TerminalWatcher)
|
|
1105
1091
|
], TerminalFrontendContribution.prototype, "terminalWatcher", void 0);
|
|
1106
|
-
|
|
1107
|
-
|
|
1108
|
-
tslib_1.__metadata("design:type", browser_3.VariableResolverService)
|
|
1092
|
+
__decorate([
|
|
1093
|
+
inject(VariableResolverService)
|
|
1109
1094
|
], TerminalFrontendContribution.prototype, "variableResolver", void 0);
|
|
1110
|
-
|
|
1111
|
-
|
|
1112
|
-
tslib_1.__metadata("design:type", Object)
|
|
1095
|
+
__decorate([
|
|
1096
|
+
inject(StorageService)
|
|
1113
1097
|
], TerminalFrontendContribution.prototype, "storageService", void 0);
|
|
1114
|
-
|
|
1115
|
-
|
|
1116
|
-
tslib_1.__metadata("design:type", Object)
|
|
1098
|
+
__decorate([
|
|
1099
|
+
inject(PreferenceService)
|
|
1117
1100
|
], TerminalFrontendContribution.prototype, "preferenceService", void 0);
|
|
1118
|
-
|
|
1119
|
-
|
|
1120
|
-
tslib_1.__metadata("design:type", Object)
|
|
1101
|
+
__decorate([
|
|
1102
|
+
inject(TerminalPreferences)
|
|
1121
1103
|
], TerminalFrontendContribution.prototype, "terminalPreferences", void 0);
|
|
1122
|
-
|
|
1123
|
-
|
|
1124
|
-
tslib_1.__metadata("design:type", terminal_copy_on_selection_handler_1.TerminalCopyOnSelectionHandler)
|
|
1104
|
+
__decorate([
|
|
1105
|
+
inject(TerminalCopyOnSelectionHandler)
|
|
1125
1106
|
], TerminalFrontendContribution.prototype, "copyHandler", void 0);
|
|
1126
|
-
|
|
1127
|
-
|
|
1128
|
-
tslib_1.__metadata("design:type", Object)
|
|
1107
|
+
__decorate([
|
|
1108
|
+
inject(ClipboardService)
|
|
1129
1109
|
], TerminalFrontendContribution.prototype, "clipboardService", void 0);
|
|
1130
|
-
|
|
1131
|
-
|
|
1132
|
-
tslib_1.__metadata("design:type", Object)
|
|
1110
|
+
__decorate([
|
|
1111
|
+
inject(ContextKeyService)
|
|
1133
1112
|
], TerminalFrontendContribution.prototype, "contextKeyService", void 0);
|
|
1134
|
-
|
|
1135
|
-
|
|
1136
|
-
|
|
1137
|
-
tslib_1.__metadata("design:type", Object)
|
|
1113
|
+
__decorate([
|
|
1114
|
+
inject(ContributionProvider),
|
|
1115
|
+
named(TerminalCreationHandler)
|
|
1138
1116
|
], TerminalFrontendContribution.prototype, "terminalCreationHandlers", void 0);
|
|
1139
|
-
|
|
1140
|
-
|
|
1141
|
-
|
|
1142
|
-
tslib_1.__metadata("design:type", Object)
|
|
1117
|
+
__decorate([
|
|
1118
|
+
inject(ILogger),
|
|
1119
|
+
named('terminal:TerminalFrontendContribution')
|
|
1143
1120
|
], TerminalFrontendContribution.prototype, "logger", void 0);
|
|
1144
|
-
|
|
1145
|
-
|
|
1146
|
-
tslib_1.__metadata("design:type", Function),
|
|
1147
|
-
tslib_1.__metadata("design:paramtypes", []),
|
|
1148
|
-
tslib_1.__metadata("design:returntype", void 0)
|
|
1121
|
+
__decorate([
|
|
1122
|
+
postConstruct()
|
|
1149
1123
|
], TerminalFrontendContribution.prototype, "init", null);
|
|
1150
|
-
|
|
1151
|
-
|
|
1124
|
+
TerminalFrontendContribution = __decorate([
|
|
1125
|
+
injectable()
|
|
1152
1126
|
], TerminalFrontendContribution);
|
|
1127
|
+
export { TerminalFrontendContribution };
|
|
1153
1128
|
//# sourceMappingURL=terminal-frontend-contribution.js.map
|