@theia/plugin 1.24.0-next.47 → 1.24.0-next.48
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 -2
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.48+a19ce986434",
|
|
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": "a19ce98643491360c30176ba9d9dc990cad5c322"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -2078,8 +2078,8 @@ export module '@theia/plugin' {
|
|
|
2078
2078
|
/**
|
|
2079
2079
|
* Represents an item that can be selected from a list of items.
|
|
2080
2080
|
*/
|
|
2081
|
-
export interface
|
|
2082
|
-
type?: 'item'
|
|
2081
|
+
export interface QuickPickItemValue {
|
|
2082
|
+
type?: 'item';
|
|
2083
2083
|
/**
|
|
2084
2084
|
* The item label
|
|
2085
2085
|
*/
|
|
@@ -2106,6 +2106,13 @@ export module '@theia/plugin' {
|
|
|
2106
2106
|
alwaysShow?: boolean;
|
|
2107
2107
|
}
|
|
2108
2108
|
|
|
2109
|
+
export interface QuickPickSeparator {
|
|
2110
|
+
type: 'separator';
|
|
2111
|
+
label?: string;
|
|
2112
|
+
}
|
|
2113
|
+
|
|
2114
|
+
export type QuickPickItem = QuickPickSeparator | QuickPickItemValue;
|
|
2115
|
+
|
|
2109
2116
|
/**
|
|
2110
2117
|
* A concrete [QuickInput](#QuickInput) to let the user pick an item from a
|
|
2111
2118
|
* list of items of type T. The items can be filtered through a filter text field and
|