actions
/
mdBook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove mark from URL on escape. (#1427)

This commit is contained in:
Eric Huss 2021-01-05 10:31:16 -08:00 committed by GitHub
parent 33d3d9c3ec
commit 09e7bb76dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/theme/searcher/searcher.js
View File

@ -427,6 +427,7 @@ window.search = window.search || {};
delete url.params[URL_MARK_PARAM]; delete url.params[URL_MARK_PARAM];
url.hash = ""; url.hash = "";
} else { } else {
delete url.params[URL_MARK_PARAM];
delete url.params[URL_SEARCH_PARAM]; delete url.params[URL_SEARCH_PARAM];
} }
// A new search will also add a new history item, so the user can go back // A new search will also add a new history item, so the user can go back