finalize terminal disablePersistence API (#141898)

This commit is contained in:
Megan Rogge
2022-02-04 00:06:48 -06:00
committed by GitHub
parent 921264bfe3
commit 6b0442b315
10 changed files with 19 additions and 32 deletions

View File

@@ -153,7 +153,7 @@ export class ExtHostTerminal {
isExtensionOwnedTerminal: true,
useShellEnvironment: withNullAsUndefined(internalOptions?.useShellEnvironment),
location: internalOptions?.location || this._serializeParentTerminal(options.location, internalOptions?.resolvedExtHostIdentifier),
disablePersistence: withNullAsUndefined(options.disablePersistence)
isTransient: withNullAsUndefined(options.isTransient)
});
}
@@ -168,7 +168,7 @@ export class ExtHostTerminal {
icon: iconPath,
color: ThemeColor.isThemeColor(color) ? color.id : undefined,
location: this._serializeParentTerminal(location, parentTerminal),
disablePersistence: true
isTransient: true
});
// At this point, the id has been set via `$acceptTerminalOpened`
if (typeof this._id === 'string') {