From 09e7bb76dc1d1f565a0678a9f8d3caa0164631cb Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Tue, 5 Jan 2021 10:31:16 -0800
Subject: [PATCH] Remove mark from URL on escape. (#1427)

---
 src/theme/searcher/searcher.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/theme/searcher/searcher.js b/src/theme/searcher/searcher.js
index acf3d50c..586a5c44 100644
--- 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