@theia/plugin 1.30.0-next.15 → 1.30.0-next.17
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/package.json +2 -2
- package/src/theia.d.ts +20 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.30.0-next.
|
|
3
|
+
"version": "1.30.0-next.17+2289366b8",
|
|
4
4
|
"description": "Theia - Plugin API",
|
|
5
5
|
"types": "./src/theia.d.ts",
|
|
6
6
|
"publishConfig": {
|
|
@@ -32,5 +32,5 @@
|
|
|
32
32
|
"nyc": {
|
|
33
33
|
"extends": "../../configs/nyc.json"
|
|
34
34
|
},
|
|
35
|
-
"gitHead": "
|
|
35
|
+
"gitHead": "2289366b82f6d013fd4de7b990b21d9037a74c32"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -3091,6 +3091,26 @@ export module '@theia/plugin' {
|
|
|
3091
3091
|
*/
|
|
3092
3092
|
onDidClose?: Event<void | number>;
|
|
3093
3093
|
|
|
3094
|
+
/**
|
|
3095
|
+
* An event that when fired allows changing the name of the terminal.
|
|
3096
|
+
*
|
|
3097
|
+
* Events fired before {@link Pseudoterminal.open} is called will be be ignored.
|
|
3098
|
+
*
|
|
3099
|
+
* **Example:** Change the terminal name to "My new terminal".
|
|
3100
|
+
* ```typescript
|
|
3101
|
+
* const writeEmitter = new vscode.EventEmitter<string>();
|
|
3102
|
+
* const changeNameEmitter = new vscode.EventEmitter<string>();
|
|
3103
|
+
* const pty: vscode.Pseudoterminal = {
|
|
3104
|
+
* onDidWrite: writeEmitter.event,
|
|
3105
|
+
* onDidChangeName: changeNameEmitter.event,
|
|
3106
|
+
* open: () => changeNameEmitter.fire('My new terminal'),
|
|
3107
|
+
* close: () => {}
|
|
3108
|
+
* };
|
|
3109
|
+
* vscode.window.createTerminal({ name: 'My terminal', pty });
|
|
3110
|
+
* ```
|
|
3111
|
+
*/
|
|
3112
|
+
onDidChangeName?: Event<string>;
|
|
3113
|
+
|
|
3094
3114
|
/**
|
|
3095
3115
|
* Implement to handle when the pty is opened.
|
|
3096
3116
|
*
|