@theia/plugin 1.19.0 → 1.20.0
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 +3 -3
- package/src/theia-proposed.d.ts +1 -1
- package/src/theia.d.ts +1 -2
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.
|
|
3
|
+
"version": "1.20.0",
|
|
4
4
|
"description": "Theia - Plugin API",
|
|
5
5
|
"types": "./src/theia.d.ts",
|
|
6
6
|
"publishConfig": {
|
|
@@ -27,10 +27,10 @@
|
|
|
27
27
|
"watch": "theiaext watch"
|
|
28
28
|
},
|
|
29
29
|
"devDependencies": {
|
|
30
|
-
"@theia/ext-scripts": "1.
|
|
30
|
+
"@theia/ext-scripts": "1.20.0"
|
|
31
31
|
},
|
|
32
32
|
"nyc": {
|
|
33
33
|
"extends": "../../configs/nyc.json"
|
|
34
34
|
},
|
|
35
|
-
"gitHead": "
|
|
35
|
+
"gitHead": "774a2724c51d4ae026c6d2499bff3a02e3d50ba9"
|
|
36
36
|
}
|
package/src/theia-proposed.d.ts
CHANGED
package/src/theia.d.ts
CHANGED
|
@@ -25,7 +25,7 @@ import './theia-proposed';
|
|
|
25
25
|
/* eslint-disable @typescript-eslint/no-explicit-any */
|
|
26
26
|
/* eslint-disable max-len */
|
|
27
27
|
|
|
28
|
-
|
|
28
|
+
export module '@theia/plugin' {
|
|
29
29
|
|
|
30
30
|
/**
|
|
31
31
|
* The version of the Theia API.
|
|
@@ -11047,4 +11047,3 @@ declare module '@theia/plugin' {
|
|
|
11047
11047
|
export const onDidChangeSessions: Event<AuthenticationSessionsChangeEvent>;
|
|
11048
11048
|
}
|
|
11049
11049
|
}
|
|
11050
|
-
|