add service brand to terminal service

This commit is contained in:
Johannes Rieken
2019-08-07 16:19:25 +02:00
parent 5fa6084d47
commit 2cf97fc2e5
2 changed files with 5 additions and 0 deletions

View File

@@ -199,6 +199,9 @@ export class ExtHostTerminal extends BaseExtHostTerminal implements vscode.Termi
}
export class ExtHostTerminalService implements IExtHostTerminalService, ExtHostTerminalServiceShape {
readonly _serviceBrand: any;
private _proxy: MainThreadTerminalServiceShape;
private _activeTerminal: ExtHostTerminal | undefined;
private _terminals: ExtHostTerminal[] = [];