waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Update charatlas when monitor DPI changes

Browse Source 
Fixes #1118
This commit is contained in:
Daniel Imms
2017-12-29 08:30:13 -08:00
parent 8c4e6b0e5b
commit ef5beb6706
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/Terminal.ts
+5 -1
View File
@@ -637,7 +637,11 @@ export class Terminal extends EventEmitter implements ITerminal, IInputHandlingT
this.on('resize', () => this.renderer.onResize(this.cols, this.rows, false));
this.on('blur', () => this.renderer.onBlur());
this.on('focus', () => this.renderer.onFocus());
window.addEventListener('resize', () => this.renderer.onWindowResize(window.devicePixelRatio));
const rendererResizeListener = () => this.renderer.onWindowResize(window.devicePixelRatio);
// Listen for window zoom
window.addEventListener('resize', () => rendererResizeListener);
// Listen for monitor DPI change
window.matchMedia('screen and (-webkit-min-device-pixel-ratio: 1.5)').addListener(rendererResizeListener);
this.charMeasure.on('charsizechanged', () => this.renderer.onResize(this.cols, this.rows, true));
this.renderer.on('resize', (dimensions) => this.viewport.syncScrollArea());