|
@@ -396,8 +396,9 @@ function updateDocumentTitle() {
|
396
|
396
|
var scrollTimeout, lastStateUpdate = Date.now();
|
397
|
397
|
|
398
|
398
|
window.addEventListener("scroll", function onScroll() {
|
399
|
|
- var x = document.documentElement.scrollLeft / Tools.getScale(),
|
400
|
|
- y = document.documentElement.scrollTop / Tools.getScale();
|
|
399
|
+ var scale = Tools.getScale();
|
|
400
|
+ var x = document.documentElement.scrollLeft / scale,
|
|
401
|
+ y = document.documentElement.scrollTop / scale;
|
401
|
402
|
|
402
|
403
|
clearTimeout(scrollTimeout);
|
403
|
404
|
scrollTimeout = setTimeout(function updateHistory() {
|