Speedup search loading when search url is received

diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index 34f649aa2d3051235a97a74ed88cb8ddc34de0f4..b131d55ff392084d309495583a72196797e3e533 100644 (file)
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -119,8 +119,7 @@
             map(function(s) {
                 var pair = s.split("=");
                 params[decodeURIComponent(pair[0])] =
-                    typeof pair[1] === "undefined" ?
-                            null : decodeURIComponent(pair[1]);
+                    typeof pair[1] === "undefined" ? null : decodeURIComponent(pair[1]);
             });
         return params;
     }
@@ -1756,6 +1755,14 @@
             }
         };
     }
+
+    var params = getQueryStringParams();
+    if (params && params.search) {
+        addClass(document.getElementById("main"), "hidden");
+        var search = document.getElementById("search");
+        removeClass(search, "hidden");
+        search.innerHTML = '<h3 style="text-align: center;">Loading search results...</h3>';
+    }
 }());
 
 // Sets the focus on the search bar at the top of the page