Merge pull request #9551 from mgeier/remove-highlight-param

"Hide Search Matches" removes "highlight" parameter from URL
sphinx-doc · Jan 13, 2022 · 3b494b0 · 3b494b0
2 parents ce6803a + 27db7f6
commit 3b494b0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/sphinx/themes/basic/static/doctools.js b/sphinx/themes/basic/static/doctools.js
@@ -264,6 +264,9 @@ var Documentation = {
   hideSearchWords : function() {
     $('#searchbox .highlight-link').fadeOut(300);
     $('span.highlighted').removeClass('highlighted');
+    var url = new URL(window.location);
+    url.searchParams.delete('highlight');
+    window.history.replaceState({}, '', url);
   },
 
   /**