Remove TerminalOptions.runInBackground

Fixes #76121
This commit is contained in:
Daniel Imms
2019-08-05 15:10:21 -07:00
parent fcaf9637e4
commit c783f4996c
2 changed files with 1 additions and 15 deletions

View File

@@ -532,10 +532,8 @@ export function createApiFactory(
if (typeof nameOrOptions === 'object') {
if ('pty' in nameOrOptions) {
return extHostTerminalService.createExtensionTerminal(nameOrOptions);
} else {
nameOrOptions.hideFromUser = nameOrOptions.hideFromUser || (nameOrOptions.runInBackground && extension.enableProposedApi);
return extHostTerminalService.createTerminalFromOptions(nameOrOptions);
}
return extHostTerminalService.createTerminalFromOptions(nameOrOptions);
}
return extHostTerminalService.createTerminal(<string>nameOrOptions, shellPath, shellArgs);
},