Fire onDidChangeMaximumDimension when dimensions are set

Fixes #73496
This commit is contained in:
Daniel Imms
2019-06-20 10:03:21 -07:00
parent 95fa2fe80d
commit 62037fb7bc
6 changed files with 32 additions and 6 deletions

View File

@@ -409,6 +409,11 @@ export class ExtHostTerminalService implements ExtHostTerminalServiceShape {
});
}
}
});
}
public $acceptTerminalMaximumDimensions(id: number, cols: number, rows: number): void {
this._getTerminalByIdEventually(id).then(() => {
// When a terminal's dimensions change, a renderer's _maximum_ dimensions change
const renderer = this._getTerminalRendererById(id);
if (renderer) {