'+ title + '
' + summary +'
404
8 |Page not found
9 | 10 |' + summary +'
No results found
"); 41 | } 42 | } 43 | 44 | function doSearch () { 45 | var query = document.getElementById('mkdocs-search-query').value; 46 | if (query.length > 2) { 47 | if (!window.Worker) { 48 | displayResults(search(query)); 49 | } else { 50 | searchWorker.postMessage({query: query}); 51 | } 52 | } else { 53 | // Clear results for short queries 54 | displayResults([]); 55 | } 56 | } 57 | 58 | function initSearch () { 59 | var search_input = document.getElementById('mkdocs-search-query'); 60 | if (search_input) { 61 | search_input.addEventListener("keyup", doSearch); 62 | } 63 | var term = getSearchTermFromLocation(); 64 | if (term) { 65 | search_input.value = term; 66 | doSearch(); 67 | } 68 | } 69 | 70 | function onWorkerMessage (e) { 71 | if (e.data.allowSearch) { 72 | initSearch(); 73 | } else if (e.data.results) { 74 | var results = e.data.results; 75 | displayResults(results); 76 | } 77 | } 78 | 79 | if (!window.Worker) { 80 | console.log('Web Worker API not supported'); 81 | // load index in main thread 82 | $.getScript(joinUrl(base_url, "search/worker.js")).done(function () { 83 | console.log('Loaded worker'); 84 | init(); 85 | window.postMessage = function (msg) { 86 | onWorkerMessage({data: msg}); 87 | }; 88 | }).fail(function (jqxhr, settings, exception) { 89 | console.error('Could not load worker.js'); 90 | }); 91 | } else { 92 | // Wrap search in a web worker 93 | var searchWorker = new Worker(joinUrl(base_url, "search/worker.js")); 94 | searchWorker.postMessage({init: true}); 95 | searchWorker.onmessage = onWorkerMessage; 96 | } 97 | -------------------------------------------------------------------------------- /docs/search/worker.js: -------------------------------------------------------------------------------- 1 | var base_path = 'function' === typeof importScripts ? '.' : '/search/'; 2 | var allowSearch = false; 3 | var index; 4 | var documents = {}; 5 | var lang = ['en']; 6 | var data; 7 | 8 | function getScript(script, callback) { 9 | console.log('Loading script: ' + script); 10 | $.getScript(base_path + script).done(function () { 11 | callback(); 12 | }).fail(function (jqxhr, settings, exception) { 13 | console.log('Error: ' + exception); 14 | }); 15 | } 16 | 17 | function getScriptsInOrder(scripts, callback) { 18 | if (scripts.length === 0) { 19 | callback(); 20 | return; 21 | } 22 | getScript(scripts[0], function() { 23 | getScriptsInOrder(scripts.slice(1), callback); 24 | }); 25 | } 26 | 27 | function loadScripts(urls, callback) { 28 | if( 'function' === typeof importScripts ) { 29 | importScripts.apply(null, urls); 30 | callback(); 31 | } else { 32 | getScriptsInOrder(urls, callback); 33 | } 34 | } 35 | 36 | function onJSONLoaded () { 37 | data = JSON.parse(this.responseText); 38 | var scriptsToLoad = ['lunr.js']; 39 | if (data.config && data.config.lang && data.config.lang.length) { 40 | lang = data.config.lang; 41 | } 42 | if (lang.length > 1 || lang[0] !== "en") { 43 | scriptsToLoad.push('lunr.stemmer.support.js'); 44 | if (lang.length > 1) { 45 | scriptsToLoad.push('lunr.multi.js'); 46 | } 47 | for (var i=0; i < lang.length; i++) { 48 | if (lang[i] != 'en') { 49 | scriptsToLoad.push(['lunr', lang[i], 'js'].join('.')); 50 | } 51 | } 52 | } 53 | loadScripts(scriptsToLoad, onScriptsLoaded); 54 | } 55 | 56 | function onScriptsLoaded () { 57 | console.log('All search scripts loaded, building Lunr index...'); 58 | if (data.config && data.config.separator && data.config.separator.length) { 59 | lunr.tokenizer.separator = new RegExp(data.config.separator); 60 | } 61 | if (data.index) { 62 | index = lunr.Index.load(data.index); 63 | data.docs.forEach(function (doc) { 64 | documents[doc.location] = doc; 65 | }); 66 | console.log('Lunr pre-built index loaded, search ready'); 67 | } else { 68 | index = lunr(function () { 69 | if (lang.length === 1 && lang[0] !== "en" && lunr[lang[0]]) { 70 | this.use(lunr[lang[0]]); 71 | } else if (lang.length > 1) { 72 | this.use(lunr.multiLanguage.apply(null, lang)); // spread operator not supported in all browsers: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Spread_operator#Browser_compatibility 73 | } 74 | this.field('title'); 75 | this.field('text'); 76 | this.ref('location'); 77 | 78 | for (var i=0; i < data.docs.length; i++) { 79 | var doc = data.docs[i]; 80 | this.add(doc); 81 | documents[doc.location] = doc; 82 | } 83 | }); 84 | console.log('Lunr index built, search ready'); 85 | } 86 | allowSearch = true; 87 | postMessage({allowSearch: allowSearch}); 88 | } 89 | 90 | function init () { 91 | var oReq = new XMLHttpRequest(); 92 | oReq.addEventListener("load", onJSONLoaded); 93 | var index_path = base_path + '/search_index.json'; 94 | if( 'function' === typeof importScripts ){ 95 | index_path = 'search_index.json'; 96 | } 97 | oReq.open("GET", index_path); 98 | oReq.send(); 99 | } 100 | 101 | function search (query) { 102 | if (!allowSearch) { 103 | console.error('Assets for search still loading'); 104 | return; 105 | } 106 | 107 | var resultDocuments = []; 108 | var results = index.search(query); 109 | for (var i=0; i < results.length; i++){ 110 | var result = results[i]; 111 | doc = documents[result.ref]; 112 | doc.summary = doc.text.substring(0, 200); 113 | resultDocuments.push(doc); 114 | } 115 | return resultDocuments; 116 | } 117 | 118 | if( 'function' === typeof importScripts ) { 119 | onmessage = function (e) { 120 | if (e.data.init) { 121 | init(); 122 | } else if (e.data.query) { 123 | postMessage({ results: search(e.data.query) }); 124 | } else { 125 | console.error("Worker - Unrecognized message: " + e); 126 | } 127 | }; 128 | } 129 | -------------------------------------------------------------------------------- /docs/sitemap.xml: -------------------------------------------------------------------------------- 1 | 2 |