diff --git a/docs_v1.0/doc_wasm/index.html b/docs_v1.0/doc_wasm/index.html index d745764..b75bf52 100644 --- a/docs_v1.0/doc_wasm/index.html +++ b/docs_v1.0/doc_wasm/index.html @@ -142,6 +142,42 @@ async function loadDoc(name) { } } +function escapeHtml(s) { + return s.replace(/&/g,'&').replace(//g,'>'); +} + +async function fulltextSearch(q) { + el.innerHTML = '
Searching...
'; + var results = []; + for (var i = 0; i < MODULES.length; i++) { + var m = MODULES[i]; + try { + var resp = await fetch('/doc-wasm/modules/' + m[0] + '.md'); + if (!resp.ok) continue; + var md = await resp.text(); + var lines = md.split('\n'); + for (var li = 0; li < lines.length; li++) { + if (lines[li].toLowerCase().indexOf(q) >= 0) { + results.push({ module: m[0], title: m[1] + ' / ' + m[2], line: li + 1, text: lines[li].trim() }); + if (results.length > 50) break; + } + } + } catch(e) {} + } + if (results.length === 0) { + el.innerHTML = 'No results for ' + escapeHtml(q) + '
'; + return; + } + var html = '' + results.length + ' result(s)
'; + for (var r of results) { + html += ''
+ + r.module + ' ' + escapeHtml(r.title) + ' line ' + r.line + '
'
+ + '