Remove mark from URL on escape. (rust-lang#1427)

rubenmoor · Aug 5, 2022 · 5d92395 · 5d92395
1 parent 5456313
commit 5d92395
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