diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2023-01-01 13:12:31 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2023-01-01 13:12:31 +0100 |
commit | 92c6ce77c332f8ebbcdb090e0ca8b85c85328762 (patch) | |
tree | e2ad4c9fcdf6b3581ab1bf106dd605b5411454e8 /assets/js/mumi.js | |
parent | 70b47e528648b446ea788a516cfc9ef70718e2b3 (diff) |
js: Don't append a trailing space to query.
Diffstat (limited to 'assets/js/mumi.js')
-rw-r--r-- | assets/js/mumi.js | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/assets/js/mumi.js b/assets/js/mumi.js index a44a386..9936f34 100644 --- a/assets/js/mumi.js +++ b/assets/js/mumi.js @@ -118,9 +118,7 @@ var mumi = (function () { const form = document.querySelector ("form#search"); form.addEventListener ("submit", function (event) { event.preventDefault (); - for (token of tokenInput.getTokens ()) { - inputElement.value += token.text + " "; - } + inputElement.value = tokenInput.getTokens().map(t => t.text).join(' '); inputElement.style.visibility = 'hidden'; form.submit (); }); |