()
| 151 | if (inputType === "textarea") autosize(input); |
| 152 | |
| 153 | function hidePrompt() { |
| 154 | promptDiv.classList.add("hide"); |
| 155 | restoreTheme(); |
| 156 | setTimeout(() => { |
| 157 | if (promptDiv.isConnected) promptDiv.remove(); |
| 158 | if (mask.isConnected) mask.remove(); |
| 159 | }, 300); |
| 160 | } |
| 161 | |
| 162 | function hide() { |
| 163 | // CodeMirror keymaps are handled differently - no need to restore commands.exec |
no test coverage detected