2019-10-27 11:58:58 +01:00
|
|
|
'use strict';
|
2019-07-16 14:34:02 +02:00
|
|
|
|
2019-11-14 00:23:01 +01:00
|
|
|
{{ $searchDataFile := printf "%s.search-data.js" .Language.Lang }}
|
2019-11-10 14:35:07 +01:00
|
|
|
{{ $searchData := resources.Get "search-data.js" | resources.ExecuteAsTemplate $searchDataFile . | resources.Minify | resources.Fingerprint }}
|
|
|
|
|
2019-07-16 14:34:02 +02:00
|
|
|
(function() {
|
2019-10-20 19:02:32 +02:00
|
|
|
const input = document.querySelector('#book-search-input');
|
|
|
|
const results = document.querySelector('#book-search-results');
|
2019-07-16 14:34:02 +02:00
|
|
|
|
2019-10-20 19:02:32 +02:00
|
|
|
input.addEventListener('focus', init);
|
|
|
|
input.addEventListener('keyup', search);
|
2019-07-16 14:34:02 +02:00
|
|
|
|
|
|
|
function init() {
|
2019-10-27 11:58:58 +01:00
|
|
|
input.removeEventListener('focus', init); // init once
|
2019-07-17 17:56:12 +02:00
|
|
|
input.required = true;
|
|
|
|
|
2019-10-27 11:58:58 +01:00
|
|
|
loadScript('{{ "flexsearch.min.js" | relURL }}');
|
2019-10-20 19:02:32 +02:00
|
|
|
loadScript('{{ $searchData.RelPermalink }}', function() {
|
2019-07-17 17:56:12 +02:00
|
|
|
input.required = false;
|
2019-07-17 14:43:30 +02:00
|
|
|
search();
|
|
|
|
});
|
2019-07-15 18:25:21 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
function search() {
|
2019-07-16 14:34:02 +02:00
|
|
|
while (results.firstChild) {
|
|
|
|
results.removeChild(results.firstChild);
|
|
|
|
}
|
|
|
|
|
2019-07-17 17:56:12 +02:00
|
|
|
if (!input.value) {
|
|
|
|
return;
|
2019-07-17 13:42:39 +02:00
|
|
|
}
|
2019-07-16 14:34:02 +02:00
|
|
|
|
2019-10-27 11:58:58 +01:00
|
|
|
const searchHits = window.bookSearchIndex.search(input.value, 10);
|
|
|
|
searchHits.forEach(function(page) {
|
2019-10-20 19:02:32 +02:00
|
|
|
const li = document.createElement('li'),
|
|
|
|
a = li.appendChild(document.createElement('a'));
|
2019-07-17 13:42:39 +02:00
|
|
|
|
|
|
|
a.href = page.href;
|
|
|
|
a.textContent = page.title;
|
|
|
|
|
|
|
|
results.appendChild(li);
|
|
|
|
});
|
2019-07-15 18:25:21 +02:00
|
|
|
}
|
|
|
|
|
2019-07-16 14:34:02 +02:00
|
|
|
function loadScript(src, callback) {
|
2019-10-20 19:02:32 +02:00
|
|
|
const script = document.createElement('script');
|
2019-07-16 14:34:02 +02:00
|
|
|
script.defer = true;
|
2019-10-03 13:56:41 +02:00
|
|
|
script.async = false;
|
2019-07-16 14:34:02 +02:00
|
|
|
script.src = src;
|
|
|
|
script.onload = callback;
|
|
|
|
|
2019-10-27 11:58:58 +01:00
|
|
|
document.head.appendChild(script);
|
2019-07-15 18:25:21 +02:00
|
|
|
}
|
2019-07-16 14:34:02 +02:00
|
|
|
})();
|