@theia/plugin 1.30.0-next.34 → 1.30.0-next.36
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 +15 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.30.0-next.
|
|
3
|
+
"version": "1.30.0-next.36+cd2f08124",
|
|
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": "cd2f0812424d91561be7cc53aa303488113ed59d"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -1727,6 +1727,11 @@ export module '@theia/plugin' {
|
|
|
1727
1727
|
*/
|
|
1728
1728
|
export interface FileWillCreateEvent {
|
|
1729
1729
|
|
|
1730
|
+
/**
|
|
1731
|
+
* A cancellation token.
|
|
1732
|
+
*/
|
|
1733
|
+
readonly token: CancellationToken;
|
|
1734
|
+
|
|
1730
1735
|
/**
|
|
1731
1736
|
* The files that are going to be created.
|
|
1732
1737
|
*/
|
|
@@ -1782,6 +1787,11 @@ export module '@theia/plugin' {
|
|
|
1782
1787
|
*/
|
|
1783
1788
|
export interface FileWillDeleteEvent {
|
|
1784
1789
|
|
|
1790
|
+
/**
|
|
1791
|
+
* A cancellation token.
|
|
1792
|
+
*/
|
|
1793
|
+
readonly token: CancellationToken;
|
|
1794
|
+
|
|
1785
1795
|
/**
|
|
1786
1796
|
* The files that are going to be deleted.
|
|
1787
1797
|
*/
|
|
@@ -1837,6 +1847,11 @@ export module '@theia/plugin' {
|
|
|
1837
1847
|
*/
|
|
1838
1848
|
export interface FileWillRenameEvent {
|
|
1839
1849
|
|
|
1850
|
+
/**
|
|
1851
|
+
* A cancellation token.
|
|
1852
|
+
*/
|
|
1853
|
+
readonly token: CancellationToken;
|
|
1854
|
+
|
|
1840
1855
|
/**
|
|
1841
1856
|
* The files that are going to be renamed.
|
|
1842
1857
|
*/
|