@theia/plugin 1.28.0-next.2 → 1.28.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 +7 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.28.0-next.
|
|
3
|
+
"version": "1.28.0-next.7+3b689e0b4f3",
|
|
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": "3b689e0b4f37844f674b26fc9b2c4d735b0115fd"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -2932,6 +2932,13 @@ export module '@theia/plugin' {
|
|
|
2932
2932
|
*/
|
|
2933
2933
|
env?: { [key: string]: string | null };
|
|
2934
2934
|
|
|
2935
|
+
/**
|
|
2936
|
+
* A message to write to the terminal on first launch. Note that this is not sent to the
|
|
2937
|
+
* process, but rather written directly to the terminal. This supports escape sequences such
|
|
2938
|
+
* as setting text style.
|
|
2939
|
+
*/
|
|
2940
|
+
message?: string;
|
|
2941
|
+
|
|
2935
2942
|
/**
|
|
2936
2943
|
* Terminal attributes. Can be useful to apply some implementation specific information.
|
|
2937
2944
|
*/
|