IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

doctools: fix hideSearchWords

Browse Source 
Previous code was:

b3812f72a9/sphinx/themes/basic/static/doctools.js (L262-L268)

Ref https://github.com/sphinx-doc/sphinx/pull/10028
This commit is contained in:
Santos Gallegos
2022-03-07 11:44:17 -05:00
parent ee298ac47e
commit be1bc680e7
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
sphinx/themes/basic/static/doctools.js
View File

@@ -168,7 +168,8 @@ const Documentation = {
document
.querySelectorAll("span.highlighted")
.forEach((el) => el.classList.remove("highlighted"));
new URLSearchParams(window.location.search).delete('highlight')
const url = new URL(window.location);
url.searchParams.delete('highlight');
window.history.replaceState({}, '', url);
},