@theia/plugin 1.28.0-next.19 → 1.28.0-next.25
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.28.0-next.
|
|
3
|
+
"version": "1.28.0-next.25+f3c48a932af",
|
|
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": "f3c48a932afc70ce79f983f79d35c371180ef6ee"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -2300,6 +2300,11 @@ export module '@theia/plugin' {
|
|
|
2300
2300
|
* Options for configuration behavior of the quick pick
|
|
2301
2301
|
*/
|
|
2302
2302
|
export interface QuickPickOptions {
|
|
2303
|
+
/**
|
|
2304
|
+
* An optional string that represents the title of the quick pick.
|
|
2305
|
+
*/
|
|
2306
|
+
title?: string;
|
|
2307
|
+
|
|
2303
2308
|
/**
|
|
2304
2309
|
* A flag to include the description when filtering
|
|
2305
2310
|
*/
|