From cb7c912a1b0957c6ade28452d92d6aef95bf07ac Mon Sep 17 00:00:00 2001
From: Loris Cro <kappaloris@gmail.com>
Date: Sat, 6 Aug 2022 17:29:39 +0200
Subject: [PATCH] autodoc: use location.replace to avoid history spam when
 searching

---
 lib/docs/main.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/lib/docs/main.js b/lib/docs/main.js
index ebbe1379796b5641a37788705473ced00bad7201..1b15183046fd335f3e0ecdda333bfe74624c9eed 100644
--- a/lib/docs/main.js
+++ b/lib/docs/main.js
@@ -3264,8 +3264,7 @@ var zigAnalysis;
     let oldHash = location.hash;
     let parts = oldHash.split("?");
     let newPart2 = domSearch.value === "" ? "" : "?" + domSearch.value;
-    location.hash =
-      parts.length === 1 ? oldHash + newPart2 : parts[0] + newPart2;
+    location.replace(parts.length === 1 ? oldHash + newPart2 : parts[0] + newPart2);
   }
   function getSearchTerms() {
     let list = curNavSearch.trim().split(/[ \r\n\t]+/);
-- 
2.54.0