(e3, t3)
| 7054 | this._refreshCharAtlas(), this._clearModel(true); |
| 7055 | } |
| 7056 | handleDevicePixelRatioChange() { |
| 7057 | this._devicePixelRatio !== this._coreBrowserService.dpr && (this._devicePixelRatio = this._coreBrowserService.dpr, this.handleResize(this._terminal.cols, this._terminal.rows)); |
| 7058 | } |
| 7059 | handleResize(e3, t3) { |
| 7060 | var _a, _b, _c, _d; |
| 7061 | this._updateDimensions(), this._model.resize(this._terminal.cols, this._terminal.rows); |
| 7062 | for (const e4 of this._renderLayers) e4.resize(this._terminal, this.dimensions); |
| 7063 | this._canvas.width = this.dimensions.device.canvas.width, this._canvas.height = this.dimensions.device.canvas.height, this._canvas.style.width = `${this.dimensions.css.canvas.width}px`, this._canvas.style.height = `${this.dimensions.css.canvas.height}px`, this._core.screenElement.style.width = `${this.dimensions.css.canvas.width}px`, this._core.screenElement.style.height = `${this.dimensions.css.canvas.height}px`, (_a = this._rectangleRenderer.value) == null ? void 0 : _a.setDimensions(this.dimensions), (_b = this._rectangleRenderer.value) == null ? void 0 : _b.handleResize(), (_c = this._glyphRenderer.value) == null ? void 0 : _c.setDimensions(this.dimensions), (_d = this._glyphRenderer.value) == null ? void 0 : _d.handleResize(), this._refreshCharAtlas(), this._clearModel(false); |
| 7064 | } |
no test coverage detected