diff --git a/sphinx/themes/basic/static/sphinx_highlight.js b/sphinx/themes/basic/static/sphinx_highlight.js index ce735d52ee4..5c4737212a2 100644 --- a/sphinx/themes/basic/static/sphinx_highlight.js +++ b/sphinx/themes/basic/static/sphinx_highlight.js @@ -80,8 +80,10 @@ const SphinxHighlight = { || url.searchParams.get("highlight") || ""; localStorage.removeItem("sphinx_highlight_terms"); - url.searchParams.delete("highlight"); - window.history.replaceState({}, "", url); + if (url.searchParams.has("highlight")) { + url.searchParams.delete("highlight"); + window.history.replaceState({}, "", url); + } // get individual terms from highlight string const terms = highlight