@theia/plugin 1.30.0-next.2 → 1.30.0-next.7
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 +6 -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.7+98a0bf6944d",
|
|
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": "98a0bf6944d8ef0cfa3cef52b1c1cb35b4eea063"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -2928,6 +2928,12 @@ export module '@theia/plugin' {
|
|
|
2928
2928
|
*/
|
|
2929
2929
|
readonly exitStatus: TerminalExitStatus | undefined;
|
|
2930
2930
|
|
|
2931
|
+
/**
|
|
2932
|
+
* The object used to initialize the terminal, this is useful for example to detecting the shell type of when the terminal was not launched by this extension or for
|
|
2933
|
+
* detecting what folder the shell was launched in.
|
|
2934
|
+
*/
|
|
2935
|
+
readonly creationOptions: Readonly<TerminalOptions | ExtensionTerminalOptions>
|
|
2936
|
+
|
|
2931
2937
|
/**
|
|
2932
2938
|
* Send text to the terminal.
|
|
2933
2939
|
* @param text - text content.
|