@theia/plugin 1.31.0-next.17 → 1.31.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.31.0-next.
|
|
3
|
+
"version": "1.31.0-next.19+79fac1776",
|
|
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": "79fac1776591a09732a85daca9fc79b1d3718ac0"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -3094,6 +3094,15 @@ export module '@theia/plugin' {
|
|
|
3094
3094
|
*/
|
|
3095
3095
|
strictEnv?: boolean;
|
|
3096
3096
|
|
|
3097
|
+
/**
|
|
3098
|
+
* When enabled the terminal will run the process as normal but not be surfaced to the user
|
|
3099
|
+
* until `Terminal.show` is called. The typical usage for this is when you need to run
|
|
3100
|
+
* something that may need interactivity but only want to tell the user about it when
|
|
3101
|
+
* interaction is needed. Note that the terminals will still be exposed to all extensions
|
|
3102
|
+
* as normal.
|
|
3103
|
+
*/
|
|
3104
|
+
hideFromUser?: boolean;
|
|
3105
|
+
|
|
3097
3106
|
/**
|
|
3098
3107
|
* A message to write to the terminal on first launch. Note that this is not sent to the
|
|
3099
3108
|
* process, but rather written directly to the terminal. This supports escape sequences such
|