@theia/plugin 1.24.0-next.60 → 1.24.0-next.61
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 +5 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.24.0-next.
|
|
3
|
+
"version": "1.24.0-next.61+7efbe62c519",
|
|
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": "7efbe62c519a857069151768e86459b2c719e83f"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -2258,6 +2258,11 @@ export module '@theia/plugin' {
|
|
|
2258
2258
|
*/
|
|
2259
2259
|
export interface InputBoxOptions {
|
|
2260
2260
|
|
|
2261
|
+
/**
|
|
2262
|
+
* An optional string that represents the title of the input box.
|
|
2263
|
+
*/
|
|
2264
|
+
title?: string;
|
|
2265
|
+
|
|
2261
2266
|
/**
|
|
2262
2267
|
* The value to prefill in the input box.
|
|
2263
2268
|
*/
|