instantsearch.js: Fix history navigation

Author: adriendupuis

docs/js/instantsearch.js

@@ -22,9 +22,11 @@
 
     doc.getElementById('searchbox').addEventListener('keyup', function (event) {
         const url = new URL(window.location);
-        url.searchParams.set('sq', event.target.value);
-        url.searchParams.set('p', 1);
-        window.history.pushState({}, '', url);
+        url.searchParams.set('sq', event.target.value.trim());
+        if (url.href != window.location.href) {
+            url.searchParams.set('p', 1);
+            window.history.pushState({}, '', url);
+        }
     })
 
     doc.getElementById('pagination').addEventListener('click', function (event) {
@@ -34,6 +36,10 @@
         window.history.pushState({}, '', url);
     })
 
+    window.onpopstate = (event) => {
+        window.location.reload();
+    };
+
     search.addWidgets([
         instantsearch.widgets.configure({
             hitsPerPage: 10,