@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.
Files changed (126) hide show
  1. package/README.md +30 -30
  2. package/lib/browser/base/terminal-service.d.ts +34 -34
  3. package/lib/browser/base/terminal-service.js +7 -7
  4. package/lib/browser/base/terminal-widget.d.ts +192 -192
  5. package/lib/browser/base/terminal-widget.js +34 -34
  6. package/lib/browser/index.d.ts +1 -1
  7. package/lib/browser/index.js +28 -28
  8. package/lib/browser/search/terminal-search-container.d.ts +3 -3
  9. package/lib/browser/search/terminal-search-container.js +28 -28
  10. package/lib/browser/search/terminal-search-widget.d.ts +30 -30
  11. package/lib/browser/search/terminal-search-widget.js +147 -147
  12. package/lib/browser/shell-terminal-profile.d.ts +20 -20
  13. package/lib/browser/shell-terminal-profile.js +42 -42
  14. package/lib/browser/terminal-contribution.d.ts +3 -3
  15. package/lib/browser/terminal-contribution.js +20 -20
  16. package/lib/browser/terminal-copy-on-selection-handler.d.ts +10 -10
  17. package/lib/browser/terminal-copy-on-selection-handler.js +103 -103
  18. package/lib/browser/terminal-file-link-provider.d.ts +24 -24
  19. package/lib/browser/terminal-file-link-provider.js +200 -200
  20. package/lib/browser/terminal-frontend-contribution.d.ts +115 -115
  21. package/lib/browser/terminal-frontend-contribution.d.ts.map +1 -1
  22. package/lib/browser/terminal-frontend-contribution.js +1078 -1056
  23. package/lib/browser/terminal-frontend-contribution.js.map +1 -1
  24. package/lib/browser/terminal-frontend-module.d.ts +5 -5
  25. package/lib/browser/terminal-frontend-module.js +117 -117
  26. package/lib/browser/terminal-link-helpers.d.ts +27 -27
  27. package/lib/browser/terminal-link-helpers.js +155 -155
  28. package/lib/browser/terminal-link-provider.d.ts +51 -51
  29. package/lib/browser/terminal-link-provider.js +197 -197
  30. package/lib/browser/terminal-preferences.d.ts +61 -61
  31. package/lib/browser/terminal-preferences.d.ts.map +1 -1
  32. package/lib/browser/terminal-preferences.js +357 -356
  33. package/lib/browser/terminal-preferences.js.map +1 -1
  34. package/lib/browser/terminal-profile-service.d.ts +58 -58
  35. package/lib/browser/terminal-profile-service.js +158 -158
  36. package/lib/browser/terminal-quick-open-service.d.ts +36 -36
  37. package/lib/browser/terminal-quick-open-service.js +137 -137
  38. package/lib/browser/terminal-theme-service.d.ts +21 -21
  39. package/lib/browser/terminal-theme-service.d.ts.map +1 -1
  40. package/lib/browser/terminal-theme-service.js +222 -218
  41. package/lib/browser/terminal-theme-service.js.map +1 -1
  42. package/lib/browser/terminal-url-link-provider.d.ts +11 -11
  43. package/lib/browser/terminal-url-link-provider.js +76 -76
  44. package/lib/browser/terminal-widget-impl.d.ts +180 -187
  45. package/lib/browser/terminal-widget-impl.d.ts.map +1 -1
  46. package/lib/browser/terminal-widget-impl.js +857 -867
  47. package/lib/browser/terminal-widget-impl.js.map +1 -1
  48. package/lib/common/base-terminal-protocol.d.ts +55 -55
  49. package/lib/common/base-terminal-protocol.js +84 -84
  50. package/lib/common/shell-terminal-protocol.d.ts +66 -66
  51. package/lib/common/shell-terminal-protocol.js +35 -35
  52. package/lib/common/terminal-common-module.d.ts +7 -7
  53. package/lib/common/terminal-common-module.js +31 -31
  54. package/lib/common/terminal-protocol.d.ts +12 -12
  55. package/lib/common/terminal-protocol.js +21 -21
  56. package/lib/common/terminal-watcher.d.ts +13 -13
  57. package/lib/common/terminal-watcher.js +70 -70
  58. package/lib/node/base-terminal-server.d.ts +24 -24
  59. package/lib/node/base-terminal-server.js +168 -168
  60. package/lib/node/buffering-stream.d.ts +39 -39
  61. package/lib/node/buffering-stream.js +75 -75
  62. package/lib/node/buffering-stream.spec.d.ts +1 -1
  63. package/lib/node/buffering-stream.spec.js +43 -43
  64. package/lib/node/index.d.ts +1 -1
  65. package/lib/node/index.js +28 -28
  66. package/lib/node/shell-process.d.ts +27 -27
  67. package/lib/node/shell-process.js +107 -107
  68. package/lib/node/shell-process.js.map +1 -1
  69. package/lib/node/shell-terminal-server.d.ts +30 -30
  70. package/lib/node/shell-terminal-server.js +212 -212
  71. package/lib/node/shell-terminal-server.spec.d.ts +1 -1
  72. package/lib/node/shell-terminal-server.spec.js +35 -35
  73. package/lib/node/terminal-backend-contribution.d.ts +9 -9
  74. package/lib/node/terminal-backend-contribution.js +75 -75
  75. package/lib/node/terminal-backend-contribution.slow-spec.d.ts +1 -1
  76. package/lib/node/terminal-backend-contribution.slow-spec.js +54 -54
  77. package/lib/node/terminal-backend-module.d.ts +11 -11
  78. package/lib/node/terminal-backend-module.js +69 -69
  79. package/lib/node/terminal-server.d.ts +9 -9
  80. package/lib/node/terminal-server.js +64 -64
  81. package/lib/node/terminal-server.spec.d.ts +1 -1
  82. package/lib/node/terminal-server.spec.js +41 -41
  83. package/lib/node/test/terminal-test-container.d.ts +2 -2
  84. package/lib/node/test/terminal-test-container.js +40 -40
  85. package/lib/package.spec.js +25 -25
  86. package/package.json +12 -12
  87. package/src/browser/base/terminal-service.ts +60 -60
  88. package/src/browser/base/terminal-widget.ts +254 -254
  89. package/src/browser/index.ts +17 -17
  90. package/src/browser/search/terminal-search-container.ts +28 -28
  91. package/src/browser/search/terminal-search-widget.tsx +161 -161
  92. package/src/browser/shell-terminal-profile.ts +45 -45
  93. package/src/browser/style/terminal-search.css +99 -99
  94. package/src/browser/style/terminal.css +32 -32
  95. package/src/browser/terminal-contribution.ts +19 -19
  96. package/src/browser/terminal-copy-on-selection-handler.ts +92 -92
  97. package/src/browser/terminal-file-link-provider.ts +200 -200
  98. package/src/browser/terminal-frontend-contribution.ts +1120 -1098
  99. package/src/browser/terminal-frontend-module.ts +136 -136
  100. package/src/browser/terminal-link-helpers.ts +187 -187
  101. package/src/browser/terminal-link-provider.ts +203 -203
  102. package/src/browser/terminal-preferences.ts +428 -427
  103. package/src/browser/terminal-profile-service.ts +180 -180
  104. package/src/browser/terminal-quick-open-service.ts +132 -132
  105. package/src/browser/terminal-theme-service.ts +213 -209
  106. package/src/browser/terminal-url-link-provider.ts +66 -66
  107. package/src/browser/terminal-widget-impl.ts +939 -936
  108. package/src/common/base-terminal-protocol.ts +125 -125
  109. package/src/common/shell-terminal-protocol.ts +103 -103
  110. package/src/common/terminal-common-module.ts +30 -30
  111. package/src/common/terminal-protocol.ts +32 -32
  112. package/src/common/terminal-watcher.ts +69 -69
  113. package/src/node/base-terminal-server.ts +173 -173
  114. package/src/node/buffering-stream.spec.ts +46 -46
  115. package/src/node/buffering-stream.ts +95 -95
  116. package/src/node/index.ts +17 -17
  117. package/src/node/shell-process.ts +101 -101
  118. package/src/node/shell-terminal-server.spec.ts +40 -40
  119. package/src/node/shell-terminal-server.ts +221 -221
  120. package/src/node/terminal-backend-contribution.slow-spec.ts +63 -63
  121. package/src/node/terminal-backend-contribution.ts +60 -60
  122. package/src/node/terminal-backend-module.ts +82 -82
  123. package/src/node/terminal-server.spec.ts +47 -47
  124. package/src/node/terminal-server.ts +52 -52
  125. package/src/node/test/terminal-test-container.ts +39 -39
  126. package/src/package.spec.ts +28 -28
@@ -1,42 +1,42 @@
1
- "use strict";
2
- // *****************************************************************************
3
- // Copyright (C) 2017 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
- Object.defineProperty(exports, "__esModule", { value: true });
18
- const chai = require("chai");
19
- const terminal_test_container_1 = require("./test/terminal-test-container");
20
- const terminal_protocol_1 = require("../common/terminal-protocol");
21
- /**
22
- * Globals
23
- */
24
- const expect = chai.expect;
25
- describe('TerminalServer', function () {
26
- this.timeout(5000);
27
- let terminalServer;
28
- beforeEach(() => {
29
- const container = (0, terminal_test_container_1.createTerminalTestContainer)();
30
- terminalServer = container.get(terminal_protocol_1.ITerminalServer);
31
- });
32
- it('test terminal create', async function () {
33
- const args = ['--version'];
34
- const createResult = await terminalServer.create({ command: process.execPath, 'args': args });
35
- expect(createResult).to.be.greaterThan(-1);
36
- });
37
- it('test terminal create from non-existent path', async function () {
38
- const createError = await terminalServer.create({ command: '/non-existent' });
39
- expect(createError).eq(-1);
40
- });
41
- });
1
+ "use strict";
2
+ // *****************************************************************************
3
+ // Copyright (C) 2017 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
+ Object.defineProperty(exports, "__esModule", { value: true });
18
+ const chai = require("chai");
19
+ const terminal_test_container_1 = require("./test/terminal-test-container");
20
+ const terminal_protocol_1 = require("../common/terminal-protocol");
21
+ /**
22
+ * Globals
23
+ */
24
+ const expect = chai.expect;
25
+ describe('TerminalServer', function () {
26
+ this.timeout(5000);
27
+ let terminalServer;
28
+ beforeEach(() => {
29
+ const container = (0, terminal_test_container_1.createTerminalTestContainer)();
30
+ terminalServer = container.get(terminal_protocol_1.ITerminalServer);
31
+ });
32
+ it('test terminal create', async function () {
33
+ const args = ['--version'];
34
+ const createResult = await terminalServer.create({ command: process.execPath, 'args': args });
35
+ expect(createResult).to.be.greaterThan(-1);
36
+ });
37
+ it('test terminal create from non-existent path', async function () {
38
+ const createError = await terminalServer.create({ command: '/non-existent' });
39
+ expect(createError).eq(-1);
40
+ });
41
+ });
42
42
  //# sourceMappingURL=terminal-server.spec.js.map
@@ -1,3 +1,3 @@
1
- import { Container } from '@theia/core/shared/inversify';
2
- export declare function createTerminalTestContainer(): Container;
1
+ import { Container } from '@theia/core/shared/inversify';
2
+ export declare function createTerminalTestContainer(): Container;
3
3
  //# sourceMappingURL=terminal-test-container.d.ts.map
@@ -1,41 +1,41 @@
1
- "use strict";
2
- Object.defineProperty(exports, "__esModule", { value: true });
3
- exports.createTerminalTestContainer = void 0;
4
- // *****************************************************************************
5
- // Copyright (C) 2017 Ericsson and others.
6
- //
7
- // This program and the accompanying materials are made available under the
8
- // terms of the Eclipse Public License v. 2.0 which is available at
9
- // http://www.eclipse.org/legal/epl-2.0.
10
- //
11
- // This Source Code may also be made available under the following Secondary
12
- // Licenses when the conditions for such availability set forth in the Eclipse
13
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
14
- // with the GNU Classpath Exception which is available at
15
- // https://www.gnu.org/software/classpath/license.html.
16
- //
17
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
18
- // *****************************************************************************
19
- const inversify_1 = require("@theia/core/shared/inversify");
20
- const logger_backend_module_1 = require("@theia/core/lib/node/logger-backend-module");
21
- const backend_application_module_1 = require("@theia/core/lib/node/backend-application-module");
22
- const process_backend_module_1 = require("@theia/process/lib/node/process-backend-module");
23
- const messaging_backend_module_1 = require("@theia/core/lib/node/messaging/messaging-backend-module");
24
- const terminal_backend_module_1 = require("../terminal-backend-module");
25
- const application_package_1 = require("@theia/core/shared/@theia/application-package");
26
- const process_utils_1 = require("@theia/core/lib/node/process-utils");
27
- function createTerminalTestContainer() {
28
- const container = new inversify_1.Container();
29
- container.load(backend_application_module_1.backendApplicationModule);
30
- container.rebind(application_package_1.ApplicationPackage).toConstantValue({});
31
- container.rebind(process_utils_1.ProcessUtils).toConstantValue(new class extends process_utils_1.ProcessUtils {
32
- terminateProcessTree() { }
33
- });
34
- (0, logger_backend_module_1.bindLogger)(container.bind.bind(container));
35
- container.load(messaging_backend_module_1.messagingBackendModule);
36
- container.load(process_backend_module_1.default);
37
- container.load(terminal_backend_module_1.default);
38
- return container;
39
- }
40
- exports.createTerminalTestContainer = createTerminalTestContainer;
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.createTerminalTestContainer = void 0;
4
+ // *****************************************************************************
5
+ // Copyright (C) 2017 Ericsson and others.
6
+ //
7
+ // This program and the accompanying materials are made available under the
8
+ // terms of the Eclipse Public License v. 2.0 which is available at
9
+ // http://www.eclipse.org/legal/epl-2.0.
10
+ //
11
+ // This Source Code may also be made available under the following Secondary
12
+ // Licenses when the conditions for such availability set forth in the Eclipse
13
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
14
+ // with the GNU Classpath Exception which is available at
15
+ // https://www.gnu.org/software/classpath/license.html.
16
+ //
17
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
18
+ // *****************************************************************************
19
+ const inversify_1 = require("@theia/core/shared/inversify");
20
+ const logger_backend_module_1 = require("@theia/core/lib/node/logger-backend-module");
21
+ const backend_application_module_1 = require("@theia/core/lib/node/backend-application-module");
22
+ const process_backend_module_1 = require("@theia/process/lib/node/process-backend-module");
23
+ const messaging_backend_module_1 = require("@theia/core/lib/node/messaging/messaging-backend-module");
24
+ const terminal_backend_module_1 = require("../terminal-backend-module");
25
+ const application_package_1 = require("@theia/core/shared/@theia/application-package");
26
+ const process_utils_1 = require("@theia/core/lib/node/process-utils");
27
+ function createTerminalTestContainer() {
28
+ const container = new inversify_1.Container();
29
+ container.load(backend_application_module_1.backendApplicationModule);
30
+ container.rebind(application_package_1.ApplicationPackage).toConstantValue({});
31
+ container.rebind(process_utils_1.ProcessUtils).toConstantValue(new class extends process_utils_1.ProcessUtils {
32
+ terminateProcessTree() { }
33
+ });
34
+ (0, logger_backend_module_1.bindLogger)(container.bind.bind(container));
35
+ container.load(messaging_backend_module_1.messagingBackendModule);
36
+ container.load(process_backend_module_1.default);
37
+ container.load(terminal_backend_module_1.default);
38
+ return container;
39
+ }
40
+ exports.createTerminalTestContainer = createTerminalTestContainer;
41
41
  //# sourceMappingURL=terminal-test-container.js.map
@@ -1,26 +1,26 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2017 Ericsson and others.
3
- //
4
- // This program and the accompanying materials are made available under the
5
- // terms of the Eclipse Public License v. 2.0 which is available at
6
- // http://www.eclipse.org/legal/epl-2.0.
7
- //
8
- // This Source Code may also be made available under the following Secondary
9
- // Licenses when the conditions for such availability set forth in the Eclipse
10
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- // with the GNU Classpath Exception which is available at
12
- // https://www.gnu.org/software/classpath/license.html.
13
- //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
- /* note: this bogus test file is required so that
17
- we are able to run mocha unit tests on this
18
- package, without having any actual unit tests in it.
19
- This way a coverage report will be generated,
20
- showing 0% coverage, instead of no report.
21
- This file can be removed once we have real unit
22
- tests in place. */
23
- describe('terminal package', () => {
24
- it('support code coverage statistics', () => true);
25
- });
1
+ // *****************************************************************************
2
+ // Copyright (C) 2017 Ericsson and others.
3
+ //
4
+ // This program and the accompanying materials are made available under the
5
+ // terms of the Eclipse Public License v. 2.0 which is available at
6
+ // http://www.eclipse.org/legal/epl-2.0.
7
+ //
8
+ // This Source Code may also be made available under the following Secondary
9
+ // Licenses when the conditions for such availability set forth in the Eclipse
10
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ // with the GNU Classpath Exception which is available at
12
+ // https://www.gnu.org/software/classpath/license.html.
13
+ //
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+ /* note: this bogus test file is required so that
17
+ we are able to run mocha unit tests on this
18
+ package, without having any actual unit tests in it.
19
+ This way a coverage report will be generated,
20
+ showing 0% coverage, instead of no report.
21
+ This file can be removed once we have real unit
22
+ tests in place. */
23
+ describe('terminal package', () => {
24
+ it('support code coverage statistics', () => true);
25
+ });
26
26
  //# sourceMappingURL=package.spec.js.map
package/package.json CHANGED
@@ -1,17 +1,17 @@
1
1
  {
2
2
  "name": "@theia/terminal",
3
- "version": "1.45.1",
3
+ "version": "1.46.0-next.72+4a275b29d",
4
4
  "description": "Theia - Terminal Extension",
5
5
  "dependencies": {
6
- "@theia/core": "1.45.1",
7
- "@theia/editor": "1.45.1",
8
- "@theia/filesystem": "1.45.1",
9
- "@theia/process": "1.45.1",
10
- "@theia/variable-resolver": "1.45.1",
11
- "@theia/workspace": "1.45.1",
12
- "xterm": "^4.16.0",
13
- "xterm-addon-fit": "^0.5.0",
14
- "xterm-addon-search": "^0.8.2"
6
+ "@theia/core": "1.46.0-next.72+4a275b29d",
7
+ "@theia/editor": "1.46.0-next.72+4a275b29d",
8
+ "@theia/filesystem": "1.46.0-next.72+4a275b29d",
9
+ "@theia/process": "1.46.0-next.72+4a275b29d",
10
+ "@theia/variable-resolver": "1.46.0-next.72+4a275b29d",
11
+ "@theia/workspace": "1.46.0-next.72+4a275b29d",
12
+ "xterm": "^5.3.0",
13
+ "xterm-addon-fit": "^0.8.0",
14
+ "xterm-addon-search": "^0.13.0"
15
15
  },
16
16
  "publishConfig": {
17
17
  "access": "public"
@@ -48,10 +48,10 @@
48
48
  "watch": "theiaext watch"
49
49
  },
50
50
  "devDependencies": {
51
- "@theia/ext-scripts": "1.45.1"
51
+ "@theia/ext-scripts": "1.46.0"
52
52
  },
53
53
  "nyc": {
54
54
  "extends": "../../configs/nyc.json"
55
55
  },
56
- "gitHead": "3837c50544190b80d0ad8e87aa9fa9f286c70fcc"
56
+ "gitHead": "4a275b29d0db6c81190488c7f76cb667da05ef19"
57
57
  }
@@ -1,60 +1,60 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2018 Red Hat, Inc. and others.
3
- //
4
- // This program and the accompanying materials are made available under the
5
- // terms of the Eclipse Public License v. 2.0 which is available at
6
- // http://www.eclipse.org/legal/epl-2.0.
7
- //
8
- // This Source Code may also be made available under the following Secondary
9
- // Licenses when the conditions for such availability set forth in the Eclipse
10
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- // with the GNU Classpath Exception which is available at
12
- // https://www.gnu.org/software/classpath/license.html.
13
- //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
- import { Event } from '@theia/core/lib/common/event';
17
- import { WidgetOpenerOptions } from '@theia/core/lib/browser';
18
- import { TerminalWidgetOptions, TerminalWidget } from './terminal-widget';
19
-
20
- /**
21
- * Service manipulating terminal widgets.
22
- */
23
- export const TerminalService = Symbol('TerminalService');
24
- export interface TerminalService {
25
-
26
- /**
27
- * Create new terminal with predefined options.
28
- * @param options - terminal options.
29
- */
30
- newTerminal(options: TerminalWidgetOptions): Promise<TerminalWidget>;
31
-
32
- open(terminal: TerminalWidget, options?: WidgetOpenerOptions): void;
33
-
34
- readonly all: TerminalWidget[];
35
-
36
- /**
37
- * @param id - the widget id (NOT the terminal id!)
38
- * @return the widget
39
- */
40
- getById(id: string): TerminalWidget | undefined;
41
-
42
- /**
43
- * @param id - the terminal id (NOT the terminal widget id!)
44
- * @return the widget
45
- */
46
- getByTerminalId(terminalId: number): TerminalWidget | undefined;
47
-
48
- /**
49
- * Returns detected default shell.
50
- */
51
- getDefaultShell(): Promise<string>;
52
-
53
- readonly onDidCreateTerminal: Event<TerminalWidget>;
54
-
55
- readonly currentTerminal: TerminalWidget | undefined;
56
-
57
- readonly onDidChangeCurrentTerminal: Event<TerminalWidget | undefined>;
58
-
59
- readonly lastUsedTerminal: TerminalWidget | undefined;
60
- }
1
+ // *****************************************************************************
2
+ // Copyright (C) 2018 Red Hat, Inc. and others.
3
+ //
4
+ // This program and the accompanying materials are made available under the
5
+ // terms of the Eclipse Public License v. 2.0 which is available at
6
+ // http://www.eclipse.org/legal/epl-2.0.
7
+ //
8
+ // This Source Code may also be made available under the following Secondary
9
+ // Licenses when the conditions for such availability set forth in the Eclipse
10
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ // with the GNU Classpath Exception which is available at
12
+ // https://www.gnu.org/software/classpath/license.html.
13
+ //
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+ import { Event } from '@theia/core/lib/common/event';
17
+ import { WidgetOpenerOptions } from '@theia/core/lib/browser';
18
+ import { TerminalWidgetOptions, TerminalWidget } from './terminal-widget';
19
+
20
+ /**
21
+ * Service manipulating terminal widgets.
22
+ */
23
+ export const TerminalService = Symbol('TerminalService');
24
+ export interface TerminalService {
25
+
26
+ /**
27
+ * Create new terminal with predefined options.
28
+ * @param options - terminal options.
29
+ */
30
+ newTerminal(options: TerminalWidgetOptions): Promise<TerminalWidget>;
31
+
32
+ open(terminal: TerminalWidget, options?: WidgetOpenerOptions): void;
33
+
34
+ readonly all: TerminalWidget[];
35
+
36
+ /**
37
+ * @param id - the widget id (NOT the terminal id!)
38
+ * @return the widget
39
+ */
40
+ getById(id: string): TerminalWidget | undefined;
41
+
42
+ /**
43
+ * @param id - the terminal id (NOT the terminal widget id!)
44
+ * @return the widget
45
+ */
46
+ getByTerminalId(terminalId: number): TerminalWidget | undefined;
47
+
48
+ /**
49
+ * Returns detected default shell.
50
+ */
51
+ getDefaultShell(): Promise<string>;
52
+
53
+ readonly onDidCreateTerminal: Event<TerminalWidget>;
54
+
55
+ readonly currentTerminal: TerminalWidget | undefined;
56
+
57
+ readonly onDidChangeCurrentTerminal: Event<TerminalWidget | undefined>;
58
+
59
+ readonly lastUsedTerminal: TerminalWidget | undefined;
60
+ }