diff options
| author | Jieiku | 2023-05-22 23:24:44 -0700 |
|---|---|---|
| committer | Jieiku | 2023-05-22 23:24:44 -0700 |
| commit | 3af6d9131f6dfc138856d718ec96626344095ec8 (patch) | |
| tree | 1a8d75cf494d5333da2cb02506e04c9e0f576f6d /static/js/stork_config.js | |
| parent | 3ca36cc469e838cee7d3fdcdc6ff39b35313a293 (diff) | |
| download | abridge-3af6d9131f6dfc138856d718ec96626344095ec8.tar.gz abridge-3af6d9131f6dfc138856d718ec96626344095ec8.tar.bz2 abridge-3af6d9131f6dfc138856d718ec96626344095ec8.zip | |
Optimizations and Fixes
Diffstat (limited to 'static/js/stork_config.js')
| -rw-r--r-- | static/js/stork_config.js | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/static/js/stork_config.js b/static/js/stork_config.js new file mode 100644 index 0000000..3c589c2 --- /dev/null +++ b/static/js/stork_config.js @@ -0,0 +1,25 @@ +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 = ''; + } +}; |
