Pre-fetch search index to avoid latency in input field

guruz · guruz · commit d34da56df254 · 2016-08-10T10:48:47.000+02:00
diff --git a/data/codebrowser.js b/data/codebrowser.js
@@ -1204,6 +1204,8 @@ $(function () {
             $("#symbolSideBox ul").hide()
     }
 
+    // Pre-fetch index. The XMLHttpRequest above will take it from browser cache then
+    $("head").append('<link rel="prefetch" href="'+root_path + '/fileIndex'+'">');
 
 /*-------------------------------------------------------------------------------------*/
     // End: print the time that was required to execute the code browser javascript

Original file line number	Diff line number	Diff line change
`@@ -1204,6 +1204,8 @@ $(function () {`
`1204`	`1204`	`$("#symbolSideBox ul").hide()`
`1205`	`1205`	`}`
`1206`	`1206`
	`1207`	`+ // Pre-fetch index. The XMLHttpRequest above will take it from browser cache then`
	`1208`	`+ $("head").append('<link rel="prefetch" href="'+root_path + '/fileIndex'+'">');`
`1207`	`1209`
`1208`	`1210`	`/-------------------------------------------------------------------------------------/`
`1209`	`1211`	`// End: print the time that was required to execute the code browser javascript`