"Hide Search Matches" removes "highlight" parameter from URL

sphinx-doc · Aug 15, 2021 · 27db7f6 · 27db7f6
1 parent 8afe6ed
commit 27db7f6
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);
   },
 
   /**