@theia/plugin 1.24.0-next.59 → 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 +17 -7
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
|
@@ -2078,8 +2078,12 @@ 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
|
-
|
|
2081
|
+
export interface QuickPickItem {
|
|
2082
|
+
/**
|
|
2083
|
+
* Defaults to {@link QuickPickItemKind.Default}. If set to {@link QUickPickItemKind.Separator}, the item will not be displayed as a row but only as a separator,
|
|
2084
|
+
* and all fields other than {@link QuickPickItem.label label} will be ignored.
|
|
2085
|
+
*/
|
|
2086
|
+
kind?: QuickPickItemKind;
|
|
2083
2087
|
/**
|
|
2084
2088
|
* The item label
|
|
2085
2089
|
*/
|
|
@@ -2106,13 +2110,14 @@ export module '@theia/plugin' {
|
|
|
2106
2110
|
alwaysShow?: boolean;
|
|
2107
2111
|
}
|
|
2108
2112
|
|
|
2109
|
-
|
|
2110
|
-
|
|
2111
|
-
|
|
2113
|
+
/**
|
|
2114
|
+
* The type of a {@link QuickPickItem quitk pick item}. If `Separator` is set, all fields other than {@link QuickPickItem.label label} will be ignored.
|
|
2115
|
+
*/
|
|
2116
|
+
export enum QuickPickItemKind {
|
|
2117
|
+
Separator = -1,
|
|
2118
|
+
Default = 0,
|
|
2112
2119
|
}
|
|
2113
2120
|
|
|
2114
|
-
export type QuickPickItem = QuickPickSeparator | QuickPickItemValue;
|
|
2115
|
-
|
|
2116
2121
|
/**
|
|
2117
2122
|
* A concrete [QuickInput](#QuickInput) to let the user pick an item from a
|
|
2118
2123
|
* list of items of type T. The items can be filtered through a filter text field and
|
|
@@ -2253,6 +2258,11 @@ export module '@theia/plugin' {
|
|
|
2253
2258
|
*/
|
|
2254
2259
|
export interface InputBoxOptions {
|
|
2255
2260
|
|
|
2261
|
+
/**
|
|
2262
|
+
* An optional string that represents the title of the input box.
|
|
2263
|
+
*/
|
|
2264
|
+
title?: string;
|
|
2265
|
+
|
|
2256
2266
|
/**
|
|
2257
2267
|
* The value to prefill in the input box.
|
|
2258
2268
|
*/
|