Tweak names, make shellLaunchConfig readonly again

This commit is contained in:
Daniel Imms
2019-07-24 14:29:24 -07:00
parent 11e63ac0a6
commit 0927be89c8
7 changed files with 15 additions and 16 deletions

View File

@@ -319,7 +319,6 @@ export class ExtHostTerminalService implements ExtHostTerminalServiceShape {
const terminal = new ExtHostTerminal(this._proxy, name);
terminal.create(shellPath, shellArgs);
this._terminals.push(terminal);
return terminal;
}