@theia/plugin 1.32.0-next.12 → 1.32.0-next.16
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 +7 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.32.0-next.
|
|
3
|
+
"version": "1.32.0-next.16+31610279a",
|
|
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": "31610279a8effb3a29e7d5865bcc4c4c72c22b13"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -10688,6 +10688,13 @@ export module '@theia/plugin' {
|
|
|
10688
10688
|
*/
|
|
10689
10689
|
parentSession?: DebugSession;
|
|
10690
10690
|
|
|
10691
|
+
/**
|
|
10692
|
+
* Controls whether lifecycle requests like 'restart' are sent to the newly created session or its parent session.
|
|
10693
|
+
* By default (if the property is false or missing), lifecycle requests are sent to the new session.
|
|
10694
|
+
* This property is ignored if the session has no parent session.
|
|
10695
|
+
*/
|
|
10696
|
+
lifecycleManagedByParent?: boolean;
|
|
10697
|
+
|
|
10691
10698
|
/**
|
|
10692
10699
|
* Controls whether this session should have a separate debug console or share it
|
|
10693
10700
|
* with the parent session. Has no effect for sessions which do not have a parent session.
|