Replace a few new Date().getTime() instances with Date.now()

The former format is not only more verbose, but it's also *slightly* less efficient since it creates a new `Date` object.
This commit is contained in:
Jonas Jenwald 2021-02-11 23:00:42 +01:00
parent 0479deef4e
commit 4733f163e8
2 changed files with 2 additions and 2 deletions

View file

@ -102,7 +102,7 @@ class PDFPresentationMode {
evt.preventDefault();
const delta = normalizeWheelEventDelta(evt);
const currentTime = new Date().getTime();
const currentTime = Date.now();
const storedTime = this.mouseScrollTimeStamp;
// If we've already switched page, avoid accidentally switching again.