Remove mark from URL on escape. (#1427)

rust-lang · Jan 5, 2021 · 09e7bb7 · 09e7bb7
1 parent 33d3d9c
commit 09e7bb7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/theme/searcher/searcher.js b/src/theme/searcher/searcher.js
@@ -427,6 +427,7 @@ window.search = window.search || {};
             delete url.params[URL_MARK_PARAM];
             url.hash = "";
         } else {
+            delete url.params[URL_MARK_PARAM];
             delete url.params[URL_SEARCH_PARAM];
         }
         // A new search will also add a new history item, so the user can go back