From 27db7f6307a928469608bf84385a05588e5e2aa9 Mon Sep 17 00:00:00 2001
From: Matthias Geier <Matthias.Geier@gmail.com>
Date: Sun, 15 Aug 2021 12:04:09 +0200
Subject: [PATCH] "Hide Search Matches" removes "highlight" parameter from URL

---
 sphinx/themes/basic/static/doctools.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sphinx/themes/basic/static/doctools.js b/sphinx/themes/basic/static/doctools.js
index 8cbf1b161a..dd4af9dd65 100644
--- 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);
   },
 
   /**