|
@@ -318,7 +318,7 @@ function updateDocumentTitle() {
|
318
|
318
|
clearTimeout(scrollTimeout);
|
319
|
319
|
scrollTimeout = setTimeout(function updateHistory() {
|
320
|
320
|
var hash = '#' + (x | 0) + ',' + (y | 0) + ',' + Tools.getScale().toFixed(1);
|
321
|
|
- if (Date.now() - lastStateUpdate > 5000 && hash != window.location.hash) {
|
|
321
|
+ if (Date.now() - lastStateUpdate > 5000 && hash !== window.location.hash) {
|
322
|
322
|
window.history.pushState({}, "", hash);
|
323
|
323
|
lastStateUpdate = Date.now();
|
324
|
324
|
} else {
|