@theia/terminal 1.53.0-next.4 → 1.53.0-next.55

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 (45) hide show
  1. package/README.md +30 -30
  2. package/lib/browser/terminal-link-provider.d.ts +1 -1
  3. package/lib/browser/terminal-link-provider.d.ts.map +1 -1
  4. package/lib/browser/terminal-widget-impl.js +4 -4
  5. package/package.json +10 -10
  6. package/src/browser/base/terminal-service.ts +60 -60
  7. package/src/browser/base/terminal-widget.ts +268 -268
  8. package/src/browser/index.ts +17 -17
  9. package/src/browser/search/terminal-search-container.ts +28 -28
  10. package/src/browser/search/terminal-search-widget.tsx +161 -161
  11. package/src/browser/shell-terminal-profile.ts +45 -45
  12. package/src/browser/style/terminal-search.css +99 -99
  13. package/src/browser/style/terminal.css +32 -32
  14. package/src/browser/terminal-contribution.ts +19 -19
  15. package/src/browser/terminal-copy-on-selection-handler.ts +92 -92
  16. package/src/browser/terminal-file-link-provider.ts +289 -289
  17. package/src/browser/terminal-frontend-contribution.ts +1134 -1134
  18. package/src/browser/terminal-frontend-module.ts +138 -138
  19. package/src/browser/terminal-link-helpers.ts +187 -187
  20. package/src/browser/terminal-link-provider.ts +203 -203
  21. package/src/browser/terminal-preferences.ts +428 -428
  22. package/src/browser/terminal-profile-service.ts +180 -180
  23. package/src/browser/terminal-quick-open-service.ts +132 -132
  24. package/src/browser/terminal-theme-service.ts +213 -213
  25. package/src/browser/terminal-url-link-provider.ts +66 -66
  26. package/src/browser/terminal-widget-impl.ts +996 -996
  27. package/src/common/base-terminal-protocol.ts +125 -125
  28. package/src/common/shell-terminal-protocol.ts +103 -103
  29. package/src/common/terminal-common-module.ts +30 -30
  30. package/src/common/terminal-protocol.ts +32 -32
  31. package/src/common/terminal-watcher.ts +69 -69
  32. package/src/node/base-terminal-server.ts +173 -173
  33. package/src/node/buffering-stream.spec.ts +46 -46
  34. package/src/node/buffering-stream.ts +95 -95
  35. package/src/node/index.ts +17 -17
  36. package/src/node/shell-process.ts +102 -102
  37. package/src/node/shell-terminal-server.spec.ts +40 -40
  38. package/src/node/shell-terminal-server.ts +223 -223
  39. package/src/node/terminal-backend-contribution.slow-spec.ts +63 -63
  40. package/src/node/terminal-backend-contribution.ts +60 -60
  41. package/src/node/terminal-backend-module.ts +82 -82
  42. package/src/node/terminal-server.spec.ts +47 -47
  43. package/src/node/terminal-server.ts +52 -52
  44. package/src/node/test/terminal-test-container.ts +39 -39
  45. package/src/package.spec.ts +28 -28
package/README.md CHANGED
@@ -1,30 +1,30 @@
1
- <div align='center'>
2
-
3
- <br />
4
-
5
- <img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
6
-
7
- <h2>ECLIPSE THEIA - TERMINAL EXTENSION</h2>
8
-
9
- <hr />
10
-
11
- </div>
12
-
13
- ## Description
14
-
15
- The `@theia/terminal` extension contributes the ability to spawn integrated terminals in the application which can be used in a variety of different scenarios.
16
-
17
- ## Additional Information
18
-
19
- - [API documentation for `@theia/terminal`](https://eclipse-theia.github.io/theia/docs/next/modules/terminal.html)
20
- - [Theia - GitHub](https://github.com/eclipse-theia/theia)
21
- - [Theia - Website](https://theia-ide.org/)
22
-
23
- ## License
24
-
25
- - [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
26
- - [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
27
-
28
- ## Trademark
29
- "Theia" is a trademark of the Eclipse Foundation
30
- https://www.eclipse.org/theia
1
+ <div align='center'>
2
+
3
+ <br />
4
+
5
+ <img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
6
+
7
+ <h2>ECLIPSE THEIA - TERMINAL EXTENSION</h2>
8
+
9
+ <hr />
10
+
11
+ </div>
12
+
13
+ ## Description
14
+
15
+ The `@theia/terminal` extension contributes the ability to spawn integrated terminals in the application which can be used in a variety of different scenarios.
16
+
17
+ ## Additional Information
18
+
19
+ - [API documentation for `@theia/terminal`](https://eclipse-theia.github.io/theia/docs/next/modules/terminal.html)
20
+ - [Theia - GitHub](https://github.com/eclipse-theia/theia)
21
+ - [Theia - Website](https://theia-ide.org/)
22
+
23
+ ## License
24
+
25
+ - [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
26
+ - [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
27
+
28
+ ## Trademark
29
+ "Theia" is a trademark of the Eclipse Foundation
30
+ https://www.eclipse.org/theia
@@ -8,7 +8,7 @@ import { LinkContext } from './terminal-link-helpers';
8
8
  import { TerminalWidgetImpl } from './terminal-widget-impl';
9
9
  export declare const TerminalLinkProvider: unique symbol;
10
10
  export interface TerminalLinkProvider {
11
- provideLinks(line: string, terminal: TerminalWidget, cancelationToken?: CancellationToken): Promise<TerminalLink[]>;
11
+ provideLinks(line: string, terminal: TerminalWidget, cancellationToken?: CancellationToken): Promise<TerminalLink[]>;
12
12
  }
13
13
  export declare const TerminalLink: unique symbol;
14
14
  export interface TerminalLink {
@@ -1 +1 @@
1
- {"version":3,"file":"terminal-link-provider.d.ts","sourceRoot":"","sources":["../../src/browser/terminal-link-provider.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,oBAAoB,EAA4B,MAAM,aAAa,CAAC;AACtH,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAsB,UAAU,EAAwB,MAAM,8BAA8B,CAAC;AACpG,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,OAAO,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAA4C,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAChG,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE5D,eAAO,MAAM,oBAAoB,eAAiC,CAAC;AACnE,MAAM,WAAW,oBAAoB;IACjC,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,CAAC,EAAE,iBAAiB,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;CACvH;AAED,eAAO,MAAM,YAAY,eAAyB,CAAC;AACnD,MAAM,WAAW,YAAY;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC3B;AAED,eAAO,MAAM,SAAS,eAAsB,CAAC;AAC7C,eAAO,MAAM,gBAAgB,eAA6B,CAAC;AAC3D,MAAM,MAAM,gBAAgB,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE,WAAW,KAAK,KAAK,CAAC;AAEjH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,UAAU,CAAC,OAAO,GAAG,gBAAgB,CAWhF;AAED,qBACa,gCAAiC,YAAW,oBAAoB;IAGzE,SAAS,CAAC,QAAQ,CAAC,gCAAgC,EAAE,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IAGhG,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAEtD,QAAQ,CAAC,cAAc,EAAE,kBAAkB,GAAG,IAAI;cAMlC,oBAAoB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;CAqB3I;AAID,qBACa,gBAAiB,YAAW,KAAK;IAE1C,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,YAAY,CAAC;IACpB,WAAW,EAAE,gBAAgB,CAAC;IAER,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC;IACvB,SAAS,CAAC,cAAc,EAAE,kBAAkB,CAAC;IACpD,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC;IACzB,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IAE7E,SAAS,CAAC,SAAS,uBAA8B;IAEjD,SAAS,CAAC,iBAAiB,UAAS;IACpC,SAAS,CAAC,cAAc,UAAS;IAGjC,oBAAoB,IAAI,IAAI;IAY5B,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAI5C,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAMhD,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAc5C,KAAK,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAQ9B,SAAS,CAAC,WAAW,IAAI,IAAI;IAO7B,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAS/C,SAAS,CAAC,kBAAkB,IAAI,IAAI;IAKpC,SAAS,CAAC,iBAAiB,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,GAAG,OAAO;IAIvE,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,UAAU,GAAG,OAAO;CAoBjF"}
1
+ {"version":3,"file":"terminal-link-provider.d.ts","sourceRoot":"","sources":["../../src/browser/terminal-link-provider.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,oBAAoB,EAA4B,MAAM,aAAa,CAAC;AACtH,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAsB,UAAU,EAAwB,MAAM,8BAA8B,CAAC;AACpG,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,OAAO,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAA4C,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAChG,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE5D,eAAO,MAAM,oBAAoB,eAAiC,CAAC;AACnE,MAAM,WAAW,oBAAoB;IACjC,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,iBAAiB,CAAC,EAAE,iBAAiB,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;CACxH;AAED,eAAO,MAAM,YAAY,eAAyB,CAAC;AACnD,MAAM,WAAW,YAAY;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC3B;AAED,eAAO,MAAM,SAAS,eAAsB,CAAC;AAC7C,eAAO,MAAM,gBAAgB,eAA6B,CAAC;AAC3D,MAAM,MAAM,gBAAgB,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE,WAAW,KAAK,KAAK,CAAC;AAEjH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,UAAU,CAAC,OAAO,GAAG,gBAAgB,CAWhF;AAED,qBACa,gCAAiC,YAAW,oBAAoB;IAGzE,SAAS,CAAC,QAAQ,CAAC,gCAAgC,EAAE,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IAGhG,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAEtD,QAAQ,CAAC,cAAc,EAAE,kBAAkB,GAAG,IAAI;cAMlC,oBAAoB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;CAqB3I;AAID,qBACa,gBAAiB,YAAW,KAAK;IAE1C,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,YAAY,CAAC;IACpB,WAAW,EAAE,gBAAgB,CAAC;IAER,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC;IACvB,SAAS,CAAC,cAAc,EAAE,kBAAkB,CAAC;IACpD,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC;IACzB,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IAE7E,SAAS,CAAC,SAAS,uBAA8B;IAEjD,SAAS,CAAC,iBAAiB,UAAS;IACpC,SAAS,CAAC,cAAc,UAAS;IAGjC,oBAAoB,IAAI,IAAI;IAY5B,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAI5C,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAMhD,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAc5C,KAAK,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAQ9B,SAAS,CAAC,WAAW,IAAI,IAAI;IAO7B,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAS/C,SAAS,CAAC,kBAAkB,IAAI,IAAI;IAKpC,SAAS,CAAC,iBAAiB,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,GAAG,OAAO;IAIvE,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,UAAU,GAAG,OAAO;CAoBjF"}
@@ -269,10 +269,10 @@ let TerminalWidgetImpl = TerminalWidgetImpl_1 = class TerminalWidgetImpl extends
269
269
  this.styleElement = browser_1.DecorationStyle.createStyleElement(`${this.terminalId}-terminal-style`);
270
270
  const classId = 'terminal-icon-' + (0, core_1.generateUuid)().replace(/-/g, '');
271
271
  const color = this.colorRegistry.getCurrentColor(iconClass.color.id);
272
- this.styleElement.textContent = `
273
- .${classId}::before {
274
- color: ${color};
275
- }
272
+ this.styleElement.textContent = `
273
+ .${classId}::before {
274
+ color: ${color};
275
+ }
276
276
  `;
277
277
  iconClasses.push(classId);
278
278
  }
package/package.json CHANGED
@@ -1,15 +1,15 @@
1
1
  {
2
2
  "name": "@theia/terminal",
3
- "version": "1.53.0-next.4+9e9124118",
3
+ "version": "1.53.0-next.55+d1a989a68c",
4
4
  "description": "Theia - Terminal Extension",
5
5
  "dependencies": {
6
- "@theia/core": "1.53.0-next.4+9e9124118",
7
- "@theia/editor": "1.53.0-next.4+9e9124118",
8
- "@theia/file-search": "1.53.0-next.4+9e9124118",
9
- "@theia/filesystem": "1.53.0-next.4+9e9124118",
10
- "@theia/process": "1.53.0-next.4+9e9124118",
11
- "@theia/variable-resolver": "1.53.0-next.4+9e9124118",
12
- "@theia/workspace": "1.53.0-next.4+9e9124118",
6
+ "@theia/core": "1.53.0-next.55+d1a989a68c",
7
+ "@theia/editor": "1.53.0-next.55+d1a989a68c",
8
+ "@theia/file-search": "1.53.0-next.55+d1a989a68c",
9
+ "@theia/filesystem": "1.53.0-next.55+d1a989a68c",
10
+ "@theia/process": "1.53.0-next.55+d1a989a68c",
11
+ "@theia/variable-resolver": "1.53.0-next.55+d1a989a68c",
12
+ "@theia/workspace": "1.53.0-next.55+d1a989a68c",
13
13
  "tslib": "^2.6.2",
14
14
  "xterm": "^5.3.0",
15
15
  "xterm-addon-fit": "^0.8.0",
@@ -50,10 +50,10 @@
50
50
  "watch": "theiaext watch"
51
51
  },
52
52
  "devDependencies": {
53
- "@theia/ext-scripts": "1.52.0"
53
+ "@theia/ext-scripts": "1.53.0"
54
54
  },
55
55
  "nyc": {
56
56
  "extends": "../../configs/nyc.json"
57
57
  },
58
- "gitHead": "9e912411843f32b2a549ef6580b07872edd95e8b"
58
+ "gitHead": "d1a989a68c1b5ec1f9098e9126653c6346844769"
59
59
  }
@@ -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
+ }