Keep results from blanking on scroll. Fixes bug #1212956. Fixes bug #…

…1072546.

The query run by infinite scroll is built from, among other things, the state of the Case-sensitive checkbox. Make sure that's synced up with the case param of the querystring on load.

dxr/static_unhashed/js/dxr.js

@@ -545,6 +545,11 @@ $(function() {
     // load the results of the query and activate infinite scroll.
     window.addEventListener('load', function() {
         if (/search$/.test(window.location.pathname) && window.location.search) {
+            // Set case-sensitive checkbox according to the URL, and make sure
+            // the localstorage mirrors it.
+            var urlIsCaseSensitive = caseFromUrl() === true;
+            caseSensitiveBox.prop('checked', urlIsCaseSensitive);
+            localStorage.setItem('caseSensitive', urlIsCaseSensitive);
             doQuery(false, window.location.href);
         }
     });