@theia/terminal 1.45.1 → 1.46.0-next.72
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/README.md +30 -30
- package/lib/browser/base/terminal-service.d.ts +34 -34
- package/lib/browser/base/terminal-service.js +7 -7
- package/lib/browser/base/terminal-widget.d.ts +192 -192
- package/lib/browser/base/terminal-widget.js +34 -34
- package/lib/browser/index.d.ts +1 -1
- package/lib/browser/index.js +28 -28
- package/lib/browser/search/terminal-search-container.d.ts +3 -3
- package/lib/browser/search/terminal-search-container.js +28 -28
- package/lib/browser/search/terminal-search-widget.d.ts +30 -30
- package/lib/browser/search/terminal-search-widget.js +147 -147
- package/lib/browser/shell-terminal-profile.d.ts +20 -20
- package/lib/browser/shell-terminal-profile.js +42 -42
- package/lib/browser/terminal-contribution.d.ts +3 -3
- package/lib/browser/terminal-contribution.js +20 -20
- package/lib/browser/terminal-copy-on-selection-handler.d.ts +10 -10
- package/lib/browser/terminal-copy-on-selection-handler.js +103 -103
- package/lib/browser/terminal-file-link-provider.d.ts +24 -24
- package/lib/browser/terminal-file-link-provider.js +200 -200
- package/lib/browser/terminal-frontend-contribution.d.ts +115 -115
- package/lib/browser/terminal-frontend-contribution.d.ts.map +1 -1
- package/lib/browser/terminal-frontend-contribution.js +1078 -1056
- package/lib/browser/terminal-frontend-contribution.js.map +1 -1
- package/lib/browser/terminal-frontend-module.d.ts +5 -5
- package/lib/browser/terminal-frontend-module.js +117 -117
- package/lib/browser/terminal-link-helpers.d.ts +27 -27
- package/lib/browser/terminal-link-helpers.js +155 -155
- package/lib/browser/terminal-link-provider.d.ts +51 -51
- package/lib/browser/terminal-link-provider.js +197 -197
- package/lib/browser/terminal-preferences.d.ts +61 -61
- package/lib/browser/terminal-preferences.d.ts.map +1 -1
- package/lib/browser/terminal-preferences.js +357 -356
- package/lib/browser/terminal-preferences.js.map +1 -1
- package/lib/browser/terminal-profile-service.d.ts +58 -58
- package/lib/browser/terminal-profile-service.js +158 -158
- package/lib/browser/terminal-quick-open-service.d.ts +36 -36
- package/lib/browser/terminal-quick-open-service.js +137 -137
- package/lib/browser/terminal-theme-service.d.ts +21 -21
- package/lib/browser/terminal-theme-service.d.ts.map +1 -1
- package/lib/browser/terminal-theme-service.js +222 -218
- package/lib/browser/terminal-theme-service.js.map +1 -1
- package/lib/browser/terminal-url-link-provider.d.ts +11 -11
- package/lib/browser/terminal-url-link-provider.js +76 -76
- package/lib/browser/terminal-widget-impl.d.ts +180 -187
- package/lib/browser/terminal-widget-impl.d.ts.map +1 -1
- package/lib/browser/terminal-widget-impl.js +857 -867
- package/lib/browser/terminal-widget-impl.js.map +1 -1
- package/lib/common/base-terminal-protocol.d.ts +55 -55
- package/lib/common/base-terminal-protocol.js +84 -84
- package/lib/common/shell-terminal-protocol.d.ts +66 -66
- package/lib/common/shell-terminal-protocol.js +35 -35
- package/lib/common/terminal-common-module.d.ts +7 -7
- package/lib/common/terminal-common-module.js +31 -31
- package/lib/common/terminal-protocol.d.ts +12 -12
- package/lib/common/terminal-protocol.js +21 -21
- package/lib/common/terminal-watcher.d.ts +13 -13
- package/lib/common/terminal-watcher.js +70 -70
- package/lib/node/base-terminal-server.d.ts +24 -24
- package/lib/node/base-terminal-server.js +168 -168
- package/lib/node/buffering-stream.d.ts +39 -39
- package/lib/node/buffering-stream.js +75 -75
- package/lib/node/buffering-stream.spec.d.ts +1 -1
- package/lib/node/buffering-stream.spec.js +43 -43
- package/lib/node/index.d.ts +1 -1
- package/lib/node/index.js +28 -28
- package/lib/node/shell-process.d.ts +27 -27
- package/lib/node/shell-process.js +107 -107
- package/lib/node/shell-process.js.map +1 -1
- package/lib/node/shell-terminal-server.d.ts +30 -30
- package/lib/node/shell-terminal-server.js +212 -212
- package/lib/node/shell-terminal-server.spec.d.ts +1 -1
- package/lib/node/shell-terminal-server.spec.js +35 -35
- package/lib/node/terminal-backend-contribution.d.ts +9 -9
- package/lib/node/terminal-backend-contribution.js +75 -75
- package/lib/node/terminal-backend-contribution.slow-spec.d.ts +1 -1
- package/lib/node/terminal-backend-contribution.slow-spec.js +54 -54
- package/lib/node/terminal-backend-module.d.ts +11 -11
- package/lib/node/terminal-backend-module.js +69 -69
- package/lib/node/terminal-server.d.ts +9 -9
- package/lib/node/terminal-server.js +64 -64
- package/lib/node/terminal-server.spec.d.ts +1 -1
- package/lib/node/terminal-server.spec.js +41 -41
- package/lib/node/test/terminal-test-container.d.ts +2 -2
- package/lib/node/test/terminal-test-container.js +40 -40
- package/lib/package.spec.js +25 -25
- package/package.json +12 -12
- package/src/browser/base/terminal-service.ts +60 -60
- package/src/browser/base/terminal-widget.ts +254 -254
- package/src/browser/index.ts +17 -17
- package/src/browser/search/terminal-search-container.ts +28 -28
- package/src/browser/search/terminal-search-widget.tsx +161 -161
- package/src/browser/shell-terminal-profile.ts +45 -45
- package/src/browser/style/terminal-search.css +99 -99
- package/src/browser/style/terminal.css +32 -32
- package/src/browser/terminal-contribution.ts +19 -19
- package/src/browser/terminal-copy-on-selection-handler.ts +92 -92
- package/src/browser/terminal-file-link-provider.ts +200 -200
- package/src/browser/terminal-frontend-contribution.ts +1120 -1098
- package/src/browser/terminal-frontend-module.ts +136 -136
- package/src/browser/terminal-link-helpers.ts +187 -187
- package/src/browser/terminal-link-provider.ts +203 -203
- package/src/browser/terminal-preferences.ts +428 -427
- package/src/browser/terminal-profile-service.ts +180 -180
- package/src/browser/terminal-quick-open-service.ts +132 -132
- package/src/browser/terminal-theme-service.ts +213 -209
- package/src/browser/terminal-url-link-provider.ts +66 -66
- package/src/browser/terminal-widget-impl.ts +939 -936
- package/src/common/base-terminal-protocol.ts +125 -125
- package/src/common/shell-terminal-protocol.ts +103 -103
- package/src/common/terminal-common-module.ts +30 -30
- package/src/common/terminal-protocol.ts +32 -32
- package/src/common/terminal-watcher.ts +69 -69
- package/src/node/base-terminal-server.ts +173 -173
- package/src/node/buffering-stream.spec.ts +46 -46
- package/src/node/buffering-stream.ts +95 -95
- package/src/node/index.ts +17 -17
- package/src/node/shell-process.ts +101 -101
- package/src/node/shell-terminal-server.spec.ts +40 -40
- package/src/node/shell-terminal-server.ts +221 -221
- package/src/node/terminal-backend-contribution.slow-spec.ts +63 -63
- package/src/node/terminal-backend-contribution.ts +60 -60
- package/src/node/terminal-backend-module.ts +82 -82
- package/src/node/terminal-server.spec.ts +47 -47
- package/src/node/terminal-server.ts +52 -52
- package/src/node/test/terminal-test-container.ts +39 -39
- package/src/package.spec.ts +28 -28
|
@@ -1,138 +1,138 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
// *****************************************************************************
|
|
3
|
-
// Copyright (C) 2019 Ericsson and others.
|
|
4
|
-
//
|
|
5
|
-
// This program and the accompanying materials are made available under the
|
|
6
|
-
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
-
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
-
//
|
|
9
|
-
// This Source Code may also be made available under the following Secondary
|
|
10
|
-
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
-
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
-
// with the GNU Classpath Exception which is available at
|
|
13
|
-
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
-
//
|
|
15
|
-
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
-
// *****************************************************************************
|
|
17
|
-
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
18
|
-
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
19
|
-
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
20
|
-
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
21
|
-
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
22
|
-
};
|
|
23
|
-
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
24
|
-
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
25
|
-
};
|
|
26
|
-
var TerminalQuickOpenService_1;
|
|
27
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
28
|
-
exports.TerminalQuickOpenContribution = exports.TerminalQuickOpenService = void 0;
|
|
29
|
-
const inversify_1 = require("@theia/core/shared/inversify");
|
|
30
|
-
const browser_1 = require("@theia/core/lib/browser");
|
|
31
|
-
const common_1 = require("@theia/core/lib/common");
|
|
32
|
-
const terminal_service_1 = require("./base/terminal-service");
|
|
33
|
-
const terminal_frontend_contribution_1 = require("./terminal-frontend-contribution");
|
|
34
|
-
const quick_input_service_1 = require("@theia/core/lib/browser/quick-input/quick-input-service");
|
|
35
|
-
let TerminalQuickOpenService = TerminalQuickOpenService_1 = class TerminalQuickOpenService {
|
|
36
|
-
open() {
|
|
37
|
-
var _a;
|
|
38
|
-
(_a = this.quickInputService) === null || _a === void 0 ? void 0 : _a.open(TerminalQuickOpenService_1.PREFIX);
|
|
39
|
-
}
|
|
40
|
-
async getPicks(filter, token) {
|
|
41
|
-
const items = [];
|
|
42
|
-
// Get the sorted list of currently opened terminal widgets that aren't hidden from users
|
|
43
|
-
const widgets = this.terminalService.all.filter(widget => !widget.hiddenFromUser)
|
|
44
|
-
.sort((a, b) => this.compareItems(a, b));
|
|
45
|
-
for (const widget of widgets) {
|
|
46
|
-
items.push(this.toItem(widget));
|
|
47
|
-
}
|
|
48
|
-
// Append a quick open item to create a new terminal.
|
|
49
|
-
items.push({
|
|
50
|
-
label: common_1.nls.localizeByDefault('Create New Terminal'),
|
|
51
|
-
iconClasses: (0, browser_1.codiconArray)('add'),
|
|
52
|
-
execute: () => this.doCreateNewTerminal()
|
|
53
|
-
});
|
|
54
|
-
return (0, quick_input_service_1.filterItems)(items, filter);
|
|
55
|
-
}
|
|
56
|
-
registerQuickAccessProvider() {
|
|
57
|
-
this.quickAccessRegistry.registerQuickAccessProvider({
|
|
58
|
-
getInstance: () => this,
|
|
59
|
-
prefix: TerminalQuickOpenService_1.PREFIX,
|
|
60
|
-
placeholder: '',
|
|
61
|
-
helpEntries: [{ description: common_1.nls.localizeByDefault('Show All Opened Terminals'), needsEditor: false }]
|
|
62
|
-
});
|
|
63
|
-
}
|
|
64
|
-
/**
|
|
65
|
-
* Compare two terminal widgets by label. If labels are identical, compare by the widget id.
|
|
66
|
-
* @param a `TerminalWidget` for comparison
|
|
67
|
-
* @param b `TerminalWidget` for comparison
|
|
68
|
-
*/
|
|
69
|
-
compareItems(a, b) {
|
|
70
|
-
const normalize = (str) => str.trim().toLowerCase();
|
|
71
|
-
if (normalize(a.title.label) !== normalize(b.title.label)) {
|
|
72
|
-
return normalize(a.title.label).localeCompare(normalize(b.title.label));
|
|
73
|
-
}
|
|
74
|
-
else {
|
|
75
|
-
return normalize(a.id).localeCompare(normalize(b.id));
|
|
76
|
-
}
|
|
77
|
-
}
|
|
78
|
-
doCreateNewTerminal() {
|
|
79
|
-
this.commandService.executeCommand(terminal_frontend_contribution_1.TerminalCommands.NEW.id);
|
|
80
|
-
}
|
|
81
|
-
/**
|
|
82
|
-
* Convert the terminal widget to the quick pick item.
|
|
83
|
-
* @param {TerminalWidget} widget - the terminal widget.
|
|
84
|
-
* @returns quick pick item.
|
|
85
|
-
*/
|
|
86
|
-
toItem(widget) {
|
|
87
|
-
return {
|
|
88
|
-
label: widget.title.label,
|
|
89
|
-
description: widget.id,
|
|
90
|
-
ariaLabel: widget.title.label,
|
|
91
|
-
execute: () => this.terminalService.open(widget)
|
|
92
|
-
};
|
|
93
|
-
}
|
|
94
|
-
};
|
|
95
|
-
TerminalQuickOpenService.PREFIX = 'term ';
|
|
96
|
-
__decorate([
|
|
97
|
-
(0, inversify_1.inject)(browser_1.QuickInputService),
|
|
98
|
-
(0, inversify_1.optional)(),
|
|
99
|
-
__metadata("design:type", Object)
|
|
100
|
-
], TerminalQuickOpenService.prototype, "quickInputService", void 0);
|
|
101
|
-
__decorate([
|
|
102
|
-
(0, inversify_1.inject)(browser_1.QuickAccessRegistry),
|
|
103
|
-
__metadata("design:type", Object)
|
|
104
|
-
], TerminalQuickOpenService.prototype, "quickAccessRegistry", void 0);
|
|
105
|
-
__decorate([
|
|
106
|
-
(0, inversify_1.inject)(common_1.CommandService),
|
|
107
|
-
__metadata("design:type", Object)
|
|
108
|
-
], TerminalQuickOpenService.prototype, "commandService", void 0);
|
|
109
|
-
__decorate([
|
|
110
|
-
(0, inversify_1.inject)(terminal_service_1.TerminalService),
|
|
111
|
-
__metadata("design:type", Object)
|
|
112
|
-
], TerminalQuickOpenService.prototype, "terminalService", void 0);
|
|
113
|
-
TerminalQuickOpenService = TerminalQuickOpenService_1 = __decorate([
|
|
114
|
-
(0, inversify_1.injectable)()
|
|
115
|
-
], TerminalQuickOpenService);
|
|
116
|
-
exports.TerminalQuickOpenService = TerminalQuickOpenService;
|
|
117
|
-
/**
|
|
118
|
-
* TODO: merge it to TerminalFrontendContribution.
|
|
119
|
-
*/
|
|
120
|
-
let TerminalQuickOpenContribution = class TerminalQuickOpenContribution {
|
|
121
|
-
registerQuickAccessProvider() {
|
|
122
|
-
this.terminalQuickOpenService.registerQuickAccessProvider();
|
|
123
|
-
}
|
|
124
|
-
registerCommands(commands) {
|
|
125
|
-
commands.registerCommand(terminal_frontend_contribution_1.TerminalCommands.SHOW_ALL_OPENED_TERMINALS, {
|
|
126
|
-
execute: () => this.terminalQuickOpenService.open()
|
|
127
|
-
});
|
|
128
|
-
}
|
|
129
|
-
};
|
|
130
|
-
__decorate([
|
|
131
|
-
(0, inversify_1.inject)(TerminalQuickOpenService),
|
|
132
|
-
__metadata("design:type", TerminalQuickOpenService)
|
|
133
|
-
], TerminalQuickOpenContribution.prototype, "terminalQuickOpenService", void 0);
|
|
134
|
-
TerminalQuickOpenContribution = __decorate([
|
|
135
|
-
(0, inversify_1.injectable)()
|
|
136
|
-
], TerminalQuickOpenContribution);
|
|
137
|
-
exports.TerminalQuickOpenContribution = TerminalQuickOpenContribution;
|
|
1
|
+
"use strict";
|
|
2
|
+
// *****************************************************************************
|
|
3
|
+
// Copyright (C) 2019 Ericsson and others.
|
|
4
|
+
//
|
|
5
|
+
// This program and the accompanying materials are made available under the
|
|
6
|
+
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
+
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
+
//
|
|
9
|
+
// This Source Code may also be made available under the following Secondary
|
|
10
|
+
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
+
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
+
// with the GNU Classpath Exception which is available at
|
|
13
|
+
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
+
//
|
|
15
|
+
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
+
// *****************************************************************************
|
|
17
|
+
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
18
|
+
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
19
|
+
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
20
|
+
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
21
|
+
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
22
|
+
};
|
|
23
|
+
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
24
|
+
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
25
|
+
};
|
|
26
|
+
var TerminalQuickOpenService_1;
|
|
27
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
28
|
+
exports.TerminalQuickOpenContribution = exports.TerminalQuickOpenService = void 0;
|
|
29
|
+
const inversify_1 = require("@theia/core/shared/inversify");
|
|
30
|
+
const browser_1 = require("@theia/core/lib/browser");
|
|
31
|
+
const common_1 = require("@theia/core/lib/common");
|
|
32
|
+
const terminal_service_1 = require("./base/terminal-service");
|
|
33
|
+
const terminal_frontend_contribution_1 = require("./terminal-frontend-contribution");
|
|
34
|
+
const quick_input_service_1 = require("@theia/core/lib/browser/quick-input/quick-input-service");
|
|
35
|
+
let TerminalQuickOpenService = TerminalQuickOpenService_1 = class TerminalQuickOpenService {
|
|
36
|
+
open() {
|
|
37
|
+
var _a;
|
|
38
|
+
(_a = this.quickInputService) === null || _a === void 0 ? void 0 : _a.open(TerminalQuickOpenService_1.PREFIX);
|
|
39
|
+
}
|
|
40
|
+
async getPicks(filter, token) {
|
|
41
|
+
const items = [];
|
|
42
|
+
// Get the sorted list of currently opened terminal widgets that aren't hidden from users
|
|
43
|
+
const widgets = this.terminalService.all.filter(widget => !widget.hiddenFromUser)
|
|
44
|
+
.sort((a, b) => this.compareItems(a, b));
|
|
45
|
+
for (const widget of widgets) {
|
|
46
|
+
items.push(this.toItem(widget));
|
|
47
|
+
}
|
|
48
|
+
// Append a quick open item to create a new terminal.
|
|
49
|
+
items.push({
|
|
50
|
+
label: common_1.nls.localizeByDefault('Create New Terminal'),
|
|
51
|
+
iconClasses: (0, browser_1.codiconArray)('add'),
|
|
52
|
+
execute: () => this.doCreateNewTerminal()
|
|
53
|
+
});
|
|
54
|
+
return (0, quick_input_service_1.filterItems)(items, filter);
|
|
55
|
+
}
|
|
56
|
+
registerQuickAccessProvider() {
|
|
57
|
+
this.quickAccessRegistry.registerQuickAccessProvider({
|
|
58
|
+
getInstance: () => this,
|
|
59
|
+
prefix: TerminalQuickOpenService_1.PREFIX,
|
|
60
|
+
placeholder: '',
|
|
61
|
+
helpEntries: [{ description: common_1.nls.localizeByDefault('Show All Opened Terminals'), needsEditor: false }]
|
|
62
|
+
});
|
|
63
|
+
}
|
|
64
|
+
/**
|
|
65
|
+
* Compare two terminal widgets by label. If labels are identical, compare by the widget id.
|
|
66
|
+
* @param a `TerminalWidget` for comparison
|
|
67
|
+
* @param b `TerminalWidget` for comparison
|
|
68
|
+
*/
|
|
69
|
+
compareItems(a, b) {
|
|
70
|
+
const normalize = (str) => str.trim().toLowerCase();
|
|
71
|
+
if (normalize(a.title.label) !== normalize(b.title.label)) {
|
|
72
|
+
return normalize(a.title.label).localeCompare(normalize(b.title.label));
|
|
73
|
+
}
|
|
74
|
+
else {
|
|
75
|
+
return normalize(a.id).localeCompare(normalize(b.id));
|
|
76
|
+
}
|
|
77
|
+
}
|
|
78
|
+
doCreateNewTerminal() {
|
|
79
|
+
this.commandService.executeCommand(terminal_frontend_contribution_1.TerminalCommands.NEW.id);
|
|
80
|
+
}
|
|
81
|
+
/**
|
|
82
|
+
* Convert the terminal widget to the quick pick item.
|
|
83
|
+
* @param {TerminalWidget} widget - the terminal widget.
|
|
84
|
+
* @returns quick pick item.
|
|
85
|
+
*/
|
|
86
|
+
toItem(widget) {
|
|
87
|
+
return {
|
|
88
|
+
label: widget.title.label,
|
|
89
|
+
description: widget.id,
|
|
90
|
+
ariaLabel: widget.title.label,
|
|
91
|
+
execute: () => this.terminalService.open(widget)
|
|
92
|
+
};
|
|
93
|
+
}
|
|
94
|
+
};
|
|
95
|
+
TerminalQuickOpenService.PREFIX = 'term ';
|
|
96
|
+
__decorate([
|
|
97
|
+
(0, inversify_1.inject)(browser_1.QuickInputService),
|
|
98
|
+
(0, inversify_1.optional)(),
|
|
99
|
+
__metadata("design:type", Object)
|
|
100
|
+
], TerminalQuickOpenService.prototype, "quickInputService", void 0);
|
|
101
|
+
__decorate([
|
|
102
|
+
(0, inversify_1.inject)(browser_1.QuickAccessRegistry),
|
|
103
|
+
__metadata("design:type", Object)
|
|
104
|
+
], TerminalQuickOpenService.prototype, "quickAccessRegistry", void 0);
|
|
105
|
+
__decorate([
|
|
106
|
+
(0, inversify_1.inject)(common_1.CommandService),
|
|
107
|
+
__metadata("design:type", Object)
|
|
108
|
+
], TerminalQuickOpenService.prototype, "commandService", void 0);
|
|
109
|
+
__decorate([
|
|
110
|
+
(0, inversify_1.inject)(terminal_service_1.TerminalService),
|
|
111
|
+
__metadata("design:type", Object)
|
|
112
|
+
], TerminalQuickOpenService.prototype, "terminalService", void 0);
|
|
113
|
+
TerminalQuickOpenService = TerminalQuickOpenService_1 = __decorate([
|
|
114
|
+
(0, inversify_1.injectable)()
|
|
115
|
+
], TerminalQuickOpenService);
|
|
116
|
+
exports.TerminalQuickOpenService = TerminalQuickOpenService;
|
|
117
|
+
/**
|
|
118
|
+
* TODO: merge it to TerminalFrontendContribution.
|
|
119
|
+
*/
|
|
120
|
+
let TerminalQuickOpenContribution = class TerminalQuickOpenContribution {
|
|
121
|
+
registerQuickAccessProvider() {
|
|
122
|
+
this.terminalQuickOpenService.registerQuickAccessProvider();
|
|
123
|
+
}
|
|
124
|
+
registerCommands(commands) {
|
|
125
|
+
commands.registerCommand(terminal_frontend_contribution_1.TerminalCommands.SHOW_ALL_OPENED_TERMINALS, {
|
|
126
|
+
execute: () => this.terminalQuickOpenService.open()
|
|
127
|
+
});
|
|
128
|
+
}
|
|
129
|
+
};
|
|
130
|
+
__decorate([
|
|
131
|
+
(0, inversify_1.inject)(TerminalQuickOpenService),
|
|
132
|
+
__metadata("design:type", TerminalQuickOpenService)
|
|
133
|
+
], TerminalQuickOpenContribution.prototype, "terminalQuickOpenService", void 0);
|
|
134
|
+
TerminalQuickOpenContribution = __decorate([
|
|
135
|
+
(0, inversify_1.injectable)()
|
|
136
|
+
], TerminalQuickOpenContribution);
|
|
137
|
+
exports.TerminalQuickOpenContribution = TerminalQuickOpenContribution;
|
|
138
138
|
//# sourceMappingURL=terminal-quick-open-service.js.map
|
|
@@ -1,22 +1,22 @@
|
|
|
1
|
-
import { ITheme } from 'xterm';
|
|
2
|
-
import { ColorRegistry } from '@theia/core/lib/browser/color-registry';
|
|
3
|
-
import { ColorDefaults } from '@theia/core/lib/common/color';
|
|
4
|
-
import { ThemeService } from '@theia/core/lib/browser/theming';
|
|
5
|
-
import { ThemeChangeEvent } from '@theia/core/lib/common/theme';
|
|
6
|
-
import { Event } from '@theia/core';
|
|
7
|
-
/**
|
|
8
|
-
* It should be aligned with https://github.com/microsoft/vscode/blob/0dfa355b3ad185a6289ba28a99c141ab9e72d2be/src/vs/workbench/contrib/terminal/common/terminalColorRegistry.ts#L40
|
|
9
|
-
*/
|
|
10
|
-
export declare const terminalAnsiColorMap: {
|
|
11
|
-
[key: string]: {
|
|
12
|
-
index: number;
|
|
13
|
-
defaults: ColorDefaults;
|
|
14
|
-
};
|
|
15
|
-
};
|
|
16
|
-
export declare class TerminalThemeService {
|
|
17
|
-
protected readonly colorRegistry: ColorRegistry;
|
|
18
|
-
protected readonly themeService: ThemeService;
|
|
19
|
-
get onDidChange(): Event<ThemeChangeEvent>;
|
|
20
|
-
get theme(): ITheme;
|
|
21
|
-
}
|
|
1
|
+
import { ITheme } from 'xterm';
|
|
2
|
+
import { ColorRegistry } from '@theia/core/lib/browser/color-registry';
|
|
3
|
+
import { ColorDefaults } from '@theia/core/lib/common/color';
|
|
4
|
+
import { ThemeService } from '@theia/core/lib/browser/theming';
|
|
5
|
+
import { ThemeChangeEvent } from '@theia/core/lib/common/theme';
|
|
6
|
+
import { Event } from '@theia/core';
|
|
7
|
+
/**
|
|
8
|
+
* It should be aligned with https://github.com/microsoft/vscode/blob/0dfa355b3ad185a6289ba28a99c141ab9e72d2be/src/vs/workbench/contrib/terminal/common/terminalColorRegistry.ts#L40
|
|
9
|
+
*/
|
|
10
|
+
export declare const terminalAnsiColorMap: {
|
|
11
|
+
[key: string]: {
|
|
12
|
+
index: number;
|
|
13
|
+
defaults: ColorDefaults;
|
|
14
|
+
};
|
|
15
|
+
};
|
|
16
|
+
export declare class TerminalThemeService {
|
|
17
|
+
protected readonly colorRegistry: ColorRegistry;
|
|
18
|
+
protected readonly themeService: ThemeService;
|
|
19
|
+
get onDidChange(): Event<ThemeChangeEvent>;
|
|
20
|
+
get theme(): ITheme;
|
|
21
|
+
}
|
|
22
22
|
//# sourceMappingURL=terminal-theme-service.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"terminal-theme-service.d.ts","sourceRoot":"","sources":["../../src/browser/terminal-theme-service.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,MAAM,EAAE,MAAM,OAAO,CAAC;AAE/B,OAAO,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,aAAa,CAAA;KAAE,CAAA;CAiJ7F,CAAC;AAEF,qBACa,oBAAoB;IAEN,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACjD,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAEpE,IAAI,WAAW,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAEzC;IAED,IAAI,KAAK,IAAI,MAAM,
|
|
1
|
+
{"version":3,"file":"terminal-theme-service.d.ts","sourceRoot":"","sources":["../../src/browser/terminal-theme-service.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,MAAM,EAAE,MAAM,OAAO,CAAC;AAE/B,OAAO,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,aAAa,CAAA;KAAE,CAAA;CAiJ7F,CAAC;AAEF,qBACa,oBAAoB;IAEN,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACjD,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAEpE,IAAI,WAAW,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAEzC;IAED,IAAI,KAAK,IAAI,MAAM,CA0BlB;CAEJ"}
|