Fix some bugs related to initial terminal dimensions

This commit is contained in:
Gabriel DeBacker
2019-01-25 10:18:47 -08:00
parent 971331334e
commit cb511b2d91
3 changed files with 26 additions and 13 deletions

View File

@@ -928,7 +928,7 @@ export interface ShellLaunchConfigDto {
export interface ExtHostTerminalServiceShape {
$acceptTerminalClosed(id: number): void;
$acceptTerminalOpened(id: number, name: string, isRendererOnly: boolean): void;
$acceptTerminalOpened(id: number, name: string, isRendererOnly: boolean, cols: number, rows: number): void;
$acceptActiveTerminalChanged(id: number | null): void;
$acceptTerminalProcessId(id: number, processId: number): void;
$acceptTerminalProcessData(id: number, data: string): void;