diff options
Diffstat (limited to 'static/js/stork_config.js')
| -rw-r--r-- | static/js/stork_config.js | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/static/js/stork_config.js b/static/js/stork_config.js deleted file mode 100644 index 3c589c2..0000000 --- a/static/js/stork_config.js +++ /dev/null @@ -1,25 +0,0 @@ -function loadStork() { - var baseUrl = document.querySelector("meta[name='base']").getAttribute("content"); - if (baseUrl.slice(-1) == "/") { - baseUrl = baseUrl.slice(0, -1); - } - stork.initialize(baseUrl + "/stork.wasm").then(() => { - console.log("Finished downloading WASM"); - }) - .catch(e => { - console.error(e); - }); // download WASM - stork.register("stork",baseUrl + "/stork.st"); -} -var loaded = false; -window.onload = function() { - document.body.contains(document.goSearch) && (document.goSearch.onsubmit = function() { return goSearchNow() }) - document.getElementById('searchinput').onfocus = function() { - if (!loaded) { - loadStork(); - loaded = true; - document.body.contains(document.goSearch) && (document.goSearch.onsubmit = function() { return goSearchNow() }) - } - document.getElementById('searchinput').onfocus = ''; - } -}; |
