diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-01-01 13:11:55 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-01-01 13:11:55 +0100 |
| commit | 70b47e528648b446ea788a516cfc9ef70718e2b3 (patch) | |
| tree | 236bc20d446514a7e01b16900a6099c67a296284 /assets/js/mumi.js | |
| parent | 29e9d354a4e760b21a57641987a3dca557354ca8 (diff) | |
js: Ensure that input element is visible.
Even when using the browser's back button after submission.
Diffstat (limited to 'assets/js/mumi.js')
| -rw-r--r-- | assets/js/mumi.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/assets/js/mumi.js b/assets/js/mumi.js index df6e8ba..a44a386 100644 --- a/assets/js/mumi.js +++ b/assets/js/mumi.js @@ -139,6 +139,7 @@ var mumi = (function () { inputElement.value = ""; tokenInput.setTokens(tokens); } + inputElement.style.visibility = 'visible'; }; var setupLineHandler = function () { |