Backport search.js changes from v4-dev.

diff --git a/docs/assets/js/src/search.js b/docs/assets/js/src/search.js
index 53fec2a7021b07e79526abaccbaa157c14824b69..72b1ec71a4ebd4a594dfa7bce3fce9bcb1f7a974 100644 (file)
--- a/docs/assets/js/src/search.js
+++ b/docs/assets/js/src/search.js
@@ -28,12 +28,6 @@
     apiKey: 'c8948afa20e6437a6e829f7e87b9ac11',
     indexName: 'bootstrap-v3',
     inputSelector: '#search-input',
-    handleSelected: function (input, event, suggestion) {
-      var url = suggestion.url
-      url = suggestion.isLvl1 ? url.split('#')[0] : url
-      // If it's a title we remove the anchor so it does not jump.
-      window.location.href = url
-    },
     transformData: function (hits) {
       return hits.map(function (hit) {
         var siteurl = getOrigin()
@@ -43,6 +37,12 @@
         // otherwise remove our url from it.
         hit.url = siteurl.match(urlRE) ? hit.url : hit.url.replace(urlRE, '')
 
+        // Prevent jumping to first header
+        if (hit.anchor === 'content') {
+          hit.url = hit.url.replace(/#content$/, '')
+          hit.anchor = null
+        }
+
         return hit
       })
     },