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

Listen to resolution media query

Browse Source
This commit is contained in:
Daniel Imms
2018-01-02 10:11:24 -08:00
parent 72d946e089
commit ecc1055c10
1 changed files with 7 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/utils/ScreenDprMonitor.ts
+7 -13
View File
@@ -19,8 +19,7 @@ export class ScreenDprMonitor {
private _currentDevicePixelRatio: number;
private _outerListener: MediaQueryListListener;
private _listener: ScreenDprListener;
private _minMediaMatchList: MediaQueryList;
private _maxMediaMatchList: MediaQueryList;
private _resolutionMediaMatchList: MediaQueryList;
public setListener(listener: ScreenDprListener): void {
if (this._listener) {
@@ -28,6 +27,7 @@ export class ScreenDprMonitor {
}
this._listener = listener;
this._outerListener = () => {
console.log('change!');
this._listener(window.devicePixelRatio, this._currentDevicePixelRatio);
this._updateDpr();
};
@@ -36,26 +36,20 @@ export class ScreenDprMonitor {
private _updateDpr(): void {
// Clear listeners for old DPR
if (this._minMediaMatchList) {
this._minMediaMatchList.removeListener(this._outerListener);
}
if (this._maxMediaMatchList) {
this._maxMediaMatchList.removeListener(this._outerListener);
if (this._resolutionMediaMatchList) {
this._resolutionMediaMatchList.removeListener(this._outerListener);
}
// Add listeners for new DPR
this._currentDevicePixelRatio = window.devicePixelRatio;
this._minMediaMatchList = window.matchMedia(`screen and (-webkit-min-device-pixel-ratio: ${window.devicePixelRatio})`);
this._maxMediaMatchList = window.matchMedia(`screen and (-webkit-max-device-pixel-ratio: ${window.devicePixelRatio})`);
this._minMediaMatchList.addListener(this._outerListener);
this._maxMediaMatchList.addListener(this._outerListener);
this._resolutionMediaMatchList = window.matchMedia(`screen and (resolution: ${window.devicePixelRatio}dppx)`);
this._resolutionMediaMatchList.addListener(this._outerListener);
}
public clearListener(): void {
if (!this._listener) {
return;
}
this._minMediaMatchList.removeListener(this._outerListener);
this._maxMediaMatchList.removeListener(this._outerListener);
this._resolutionMediaMatchList.removeListener(this._outerListener);
this._listener = null;
this._outerListener = null;
}