@theia/plugin 1.31.0-next.14 → 1.31.0-next.15
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 +14 -2
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.31.0-next.
|
|
3
|
+
"version": "1.31.0-next.15+cac96ae94",
|
|
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": "cac96ae946d2e70a701a1779d53ade185db7a343"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -3274,7 +3274,7 @@ export module '@theia/plugin' {
|
|
|
3274
3274
|
/**
|
|
3275
3275
|
* A link on a terminal line.
|
|
3276
3276
|
*/
|
|
3277
|
-
export
|
|
3277
|
+
export class TerminalLink {
|
|
3278
3278
|
/**
|
|
3279
3279
|
* The start index of the link on [TerminalLinkContext.line](#TerminalLinkContext.line].
|
|
3280
3280
|
*/
|
|
@@ -3293,6 +3293,18 @@ export module '@theia/plugin' {
|
|
|
3293
3293
|
* depending on OS, user settings, and localization.
|
|
3294
3294
|
*/
|
|
3295
3295
|
tooltip?: string;
|
|
3296
|
+
|
|
3297
|
+
/**
|
|
3298
|
+
* Creates a new terminal link.
|
|
3299
|
+
* @param startIndex The start index of the link on [TerminalLinkContext.line](#TerminalLinkContext.line].
|
|
3300
|
+
* @param length The length of the link on [TerminalLinkContext.line](#TerminalLinkContext.line].
|
|
3301
|
+
* @param tooltip The tooltip text when you hover over this link.
|
|
3302
|
+
*
|
|
3303
|
+
* If a tooltip is provided, is will be displayed in a string that includes instructions on
|
|
3304
|
+
* how to trigger the link, such as `{0} (ctrl + click)`. The specific instructions vary
|
|
3305
|
+
* depending on OS, user settings, and localization.
|
|
3306
|
+
*/
|
|
3307
|
+
constructor(startIndex: number, length: number, tooltip?: string);
|
|
3296
3308
|
}
|
|
3297
3309
|
|
|
3298
3310
|
/**
|
|
@@ -5124,7 +5136,7 @@ export module '@theia/plugin' {
|
|
|
5124
5136
|
* @param provider The provider that provides the terminal links.
|
|
5125
5137
|
* @return Disposable that unregisters the provider.
|
|
5126
5138
|
*/
|
|
5127
|
-
export function registerTerminalLinkProvider(provider: TerminalLinkProvider):
|
|
5139
|
+
export function registerTerminalLinkProvider(provider: TerminalLinkProvider): Disposable;
|
|
5128
5140
|
|
|
5129
5141
|
/**
|
|
5130
5142
|
* Register a file decoration provider.
|