You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Adds support for the parentSession property in theia.d.ts. Includes
some minor changes to make sure we're not sending theia.DebugSession
object over the wire, but only session ids.
Contributed on behalf of ST Microelectronics
Signed-off-by: Thomas Mäder <[email protected]>
Adds support for the parentSession property in theia.d.ts. Includes
some minor changes to make sure we're not sending theia.DebugSession
object over the wire, but only session ids.
Contributed on behalf of ST Microelectronics
Signed-off-by: Thomas Mäder <[email protected]>
Theia already specifying the parent session in
DebugSessionOptions
(see also #9613). However, Theia does not support the optional propertyDebugSession.parentSession
.Related VS Code API issue:
The text was updated successfully, but these errors were encountered: