@theia/plugin 1.30.0-next.18 → 1.30.0-next.19
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 +9 -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.19+4b43c7cd8",
|
|
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": "4b43c7cd8eb471289b3feca5bb9d4e175d1f684d"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -2997,6 +2997,15 @@ export module '@theia/plugin' {
|
|
|
2997
2997
|
*/
|
|
2998
2998
|
env?: { [key: string]: string | null };
|
|
2999
2999
|
|
|
3000
|
+
/**
|
|
3001
|
+
* Whether the terminal process environment should be exactly as provided in
|
|
3002
|
+
* `TerminalOptions.env`. When this is false (default), the environment will be based on the
|
|
3003
|
+
* window's environment and also apply configured platform settings like
|
|
3004
|
+
* `terminal.integrated.windows.env` on top. When this is true, the complete environment
|
|
3005
|
+
* must be provided as nothing will be inherited from the process or any configuration.
|
|
3006
|
+
*/
|
|
3007
|
+
strictEnv?: boolean;
|
|
3008
|
+
|
|
3000
3009
|
/**
|
|
3001
3010
|
* A message to write to the terminal on first launch. Note that this is not sent to the
|
|
3002
3011
|
* process, but rather written directly to the terminal. This supports escape sequences such
|