From 077195d8ce971f935d68190a65ec5278eacfb4d0 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Thu, 7 Sep 2017 11:37:23 +0200
Subject: [PATCH] Ensure that the `PDFHistory._updateViewareaTimeout` is always
 reset when the history is updated

---
 web/pdf_history.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/web/pdf_history.js b/web/pdf_history.js
index 7d90fe001..157013af8 100644
--- a/web/pdf_history.js
+++ b/web/pdf_history.js
@@ -358,6 +358,13 @@ class PDFHistory {
    * @private
    */
   _updateInternalState(destination, uid, removeTemporary = false) {
+    if (this._updateViewareaTimeout) {
+      // When updating `this._destination`, make sure that we always wait for
+      // the next 'updateviewarea' event before (potentially) attempting to
+      // push the current position to the browser history.
+      clearTimeout(this._updateViewareaTimeout);
+      this._updateViewareaTimeout = null;
+    }
     if (removeTemporary && destination && destination.temporary) {
       // When the `destination` comes from the browser history,
       // we no longer treat it as a *temporary* position.