From 212ebec9cafdeee09b1098b617a0262fe3bc5bbc Mon Sep 17 00:00:00 2001
From: Andrey Fedorov <me@anfedorov.com>
Date: Thu, 8 Feb 2018 15:22:41 -0500
Subject: [PATCH] Fixes #909, reverts "don't pushState", using replaceState
 instead (#949)

Partially reverts 95f924fd0d82c2a43db64edd22f41d7ba870261c.
---
 source/javascripts/app/_toc.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/source/javascripts/app/_toc.js b/source/javascripts/app/_toc.js
index bcdd1fcf5aa..b298dc3fe97 100644
--- a/source/javascripts/app/_toc.js
+++ b/source/javascripts/app/_toc.js
@@ -78,6 +78,9 @@
         $best.siblings(tocListSelector).addClass("active");
         $toc.find(tocListSelector).filter(":not(.active)").slideUp(150);
         $toc.find(tocListSelector).filter(".active").slideDown(150);
+        if (window.history.replaceState) {
+          window.history.replaceState(null, "", best);
+        }
         // TODO remove classnames
         document.title = joinedTitle.replace(htmlPattern, '');
       }