Trigger setupDocSearch on more events and don't pass an object when a version is expected

Author: Simran-B

site/themes/arangodb-docs-theme/layouts/partials/search.html

@@ -1,10 +1,15 @@
 <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@docsearch/css@3" />
-
 <script src="https://cdn.jsdelivr.net/npm/@docsearch/js@3"></script>
 
 <script type="text/javascript">
   window.setupDocSearch = function (facetVersion) {
-    if (!window.docsearch) return;
+    if (!window.docsearch) {
+      return;
+    }
+    if (window.setupDocSearch.previousVersion && window.setupDocSearch.previousVersion == facetVersion) {
+      return;
+    }
+    window.setupDocSearch.previousVersion = facetVersion;
     docsearch({
       appId: "OK3ZBQ5982",
       apiKey: "500c85ccecb335d507fe4449aed12e1d",

site/themes/arangodb-docs-theme/static/js/theme.js

@@ -110,9 +110,12 @@ function loadPage(target) {
         updateHistory(match);
         return;
       }
-      replaceArticle(href, newDoc)
+      replaceArticle(href, newDoc);
       scrollToFragment();
       initArticle(href);
+      if (window.setupDocSearch) {
+        window.setupDocSearch(getSelectedVersion());
+      }
       return true;
     })
     .catch(error => {
@@ -538,9 +541,10 @@ function handleDocumentChange(event) {
     const currentPath = window.location.pathname;
     //const versionedPath = target.dataset.path;
 
-    window.setupDocSearch(selectedVersion); // TODO: Only if on versioned page?
-
     localStorage.setItem('docs-version', selectedVersion); // TODO: handle multiple
+    if (window.setupDocSearch) {
+      window.setupDocSearch(selectedVersion);
+    }
     target.closest(".nav-section").querySelectorAll(":scope > .nav-ol").forEach(
       el => {
         if (el.dataset.version == selectedVersion) {
@@ -684,11 +688,8 @@ window.onload = () => {
 
     loadPage(window.location.href)
 
-    window.setupDocSearch(currentVersion ?? stableVersion);
-
     // Add central click handler to document
     document.addEventListener("click", handleDocumentClick);
-
     document.addEventListener("change", handleDocumentChange);
 
     var isMobile = window.innerWidth <= 768;