@theia/plugin 1.68.0-next.8 → 1.68.0-next.9
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-extra.d.ts +7 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.68.0-next.
|
|
3
|
+
"version": "1.68.0-next.9+da2eb8707",
|
|
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": "da2eb87074d90bd79cfa76c868cceb00e7bc2b47"
|
|
36
36
|
}
|
package/src/theia-extra.d.ts
CHANGED
|
@@ -390,6 +390,13 @@ export module '@theia/plugin' {
|
|
|
390
390
|
export namespace window {
|
|
391
391
|
export function registerTerminalObserver(observer: TerminalObserver): Disposable;
|
|
392
392
|
}
|
|
393
|
+
|
|
394
|
+
export interface Diagnostic {
|
|
395
|
+
/**
|
|
396
|
+
* A data entry field that is preserved between diagnostics and code actions.
|
|
397
|
+
*/
|
|
398
|
+
data?: any;
|
|
399
|
+
}
|
|
393
400
|
}
|
|
394
401
|
|
|
395
402
|
/**
|