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

Fix lint error due to private variable

Browse Source
This commit is contained in:
Samuel Sampson
2021-08-17 22:26:14 +00:00
parent e778df672a
commit 42e0fcda29
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/browser/TimeBasedDebouncer.ts
+3 -3
View File
@@ -24,7 +24,7 @@ export class TimeBasedDebouncer implements IRenderDebouncer {
constructor( constructor(
private _renderCallback: (start: number, end: number) => void, private _renderCallback: (start: number, end: number) => void,
private readonly debounceThresholdMS = RENDER_DEBOUNCE_THRESHOLD_MS private readonly _debounceThresholdMS = RENDER_DEBOUNCE_THRESHOLD_MS
) { ) {
} }
@@ -46,14 +46,14 @@ export class TimeBasedDebouncer implements IRenderDebouncer {
// Only refresh if the time since last refresh is above a threshold, otherwise wait for // Only refresh if the time since last refresh is above a threshold, otherwise wait for
// enough time to pass before refreshing again. // enough time to pass before refreshing again.
const refreshRequestTime: number = Date.now(); const refreshRequestTime: number = Date.now();
if (refreshRequestTime - this._lastRefreshMs >= this.debounceThresholdMS) { if (refreshRequestTime - this._lastRefreshMs >= this._debounceThresholdMS) {
// Enough time has lapsed since the last refresh; refresh immediately // Enough time has lapsed since the last refresh; refresh immediately
this._lastRefreshMs = refreshRequestTime; this._lastRefreshMs = refreshRequestTime;
this._innerRefresh(); this._innerRefresh();
} else if (!this._additionalRefreshRequested) { } else if (!this._additionalRefreshRequested) {
// This is the first additional request throttled; set up trailing refresh // This is the first additional request throttled; set up trailing refresh
const elapsed = refreshRequestTime - this._lastRefreshMs; const elapsed = refreshRequestTime - this._lastRefreshMs;
const waitPeriodBeforeTrailingRefresh = this.debounceThresholdMS - elapsed; const waitPeriodBeforeTrailingRefresh = this._debounceThresholdMS - elapsed;
this._additionalRefreshRequested = true; this._additionalRefreshRequested = true;
this._refreshTimeoutID = window.setTimeout(() => { this._refreshTimeoutID = window.setTimeout(() => {