eiac/xterm.js
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity

Fix screen dpr change not refreshing canvas renderer

Browse Source
This commit is contained in:
Daniel Imms
2019-06-14 20:38:35 -07:00
parent e959cce899
commit 4b4b58e662
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/browser/services/RenderService.ts
+3 -2
View File
@@ -43,7 +43,7 @@ export class RenderService extends Disposable implements IRenderService {
this.register(this._renderDebouncer); this.register(this._renderDebouncer);
this._screenDprMonitor = new ScreenDprMonitor(); this._screenDprMonitor = new ScreenDprMonitor();
this._screenDprMonitor.setListener(() => this._renderer.onDevicePixelRatioChange()); this._screenDprMonitor.setListener(() => this.onDevicePixelRatioChange());
this.register(this._screenDprMonitor); this.register(this._screenDprMonitor);
this.register(optionsService.onOptionChange(() => this._renderer.onOptionsChanged())); this.register(optionsService.onOptionChange(() => this._renderer.onOptionsChanged()));
@@ -51,7 +51,7 @@ export class RenderService extends Disposable implements IRenderService {
// dprchange should handle this case, we need this as well for browsers that don't support the // dprchange should handle this case, we need this as well for browsers that don't support the
// matchMedia query. // matchMedia query.
this.register(addDisposableDomListener(window, 'resize', () => this._renderer.onDevicePixelRatioChange())); this.register(addDisposableDomListener(window, 'resize', () => this.onDevicePixelRatioChange()));
// Detect whether IntersectionObserver is detected and enable renderer pause // Detect whether IntersectionObserver is detected and enable renderer pause
// and resume based on terminal visibility if so // and resume based on terminal visibility if so
@@ -122,6 +122,7 @@ export class RenderService extends Disposable implements IRenderService {
public onDevicePixelRatioChange(): void { public onDevicePixelRatioChange(): void {
this._renderer.onDevicePixelRatioChange(); this._renderer.onDevicePixelRatioChange();
this.refreshRows(0, this._rowCount);
} }
public onResize(cols: number, rows: number): void { public onResize(cols: number, rows: number): void {