@theia/plugin 1.20.0 → 1.21.0-next.14
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-proposed.d.ts +1 -1
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.
|
|
3
|
+
"version": "1.21.0-next.14+afd980a4d4f",
|
|
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": "afd980a4d4ff6b48d70fc0ce1e459f6496c62624"
|
|
36
36
|
}
|
package/src/theia-proposed.d.ts
CHANGED
|
@@ -557,7 +557,7 @@ export module '@theia/plugin' {
|
|
|
557
557
|
* Handle when the underlying resource for a custom editor is renamed.
|
|
558
558
|
*
|
|
559
559
|
* This allows the webview for the editor be preserved throughout the rename. If this method is not implemented,
|
|
560
|
-
* Theia will
|
|
560
|
+
* Theia will destroy the previous custom editor and create a replacement one.
|
|
561
561
|
*
|
|
562
562
|
* @param newDocument New text document to use for the custom editor.
|
|
563
563
|
* @param existingWebviewPanel Webview panel for the custom editor.
|