1 var fileXHREnabled = function() { 2 var xhr = new XMLHttpRequest(); 3 try { 4 xhr.onreadystatechange = function() {}; 5 xhr.onerror = function() {}; 6 xhr.open("GET", "nothing.xml", true); 7 xhr.send(null); 8 } catch (e) { 9 return false; 10 } 11 12 xhr.abort(); 13 return true; 14 }(); 15 16 // Regenerate page if we are passed the "?regenerate" search param 17 // or if the user-agent is chrome AND the document is being served 18 // from the file:/// scheme. 19 if (window.location.search == "?regenerate" || 20 (navigator.userAgent.indexOf("Chrome") > -1) && 21 (window.location.href.match("^file:")) && 22 fileXHREnabled) { 23 24 // Hide body content initially to minimize flashing. 25 document.write('<style id="hider" type="text/css">'); 26 document.write('body { display:none!important; }'); 27 document.write('</style>'); 28 29 window.onload = window.renderPage; 30 31 window.postRender = function() { 32 var elm = document.getElementById("hider"); 33 elm.parentNode.removeChild(elm); 34 35 // Since populating the page is done asynchronously, the DOM doesn't exist 36 // when the browser tries to resolve any #anchors in the URL. So we reset 37 // the URL once we're done, which forces the browser to scroll to the anchor 38 // as it normally would. 39 if (location.hash.length > 1) 40 location.href = location.href; 41 } 42 } else if ((navigator.userAgent.indexOf("Chrome") > -1) && 43 (window.location.href.match("^file:")) && 44 !fileXHREnabled) { 45 window.onload = function() { 46 // Display the warning to use the --allow-file-access-from-files. 47 document.getElementById("devModeWarning").style.display = "block"; 48 } 49 } 50
