| 147 | } |
| 148 | |
| 149 | export function showCmdOverlay(label) { |
| 150 | let ov = $('cmd-overlay'); |
| 151 | if (!ov) { |
| 152 | ov = document.createElement('div'); |
| 153 | ov.id = 'cmd-overlay'; |
| 154 | ov.innerHTML = ` |
| 155 | <div class="cmd-overlay-card"> |
| 156 | <div class="cmd-overlay-spinner"></div> |
| 157 | <span class="cmd-overlay-label"></span> |
| 158 | </div> |
| 159 | `; |
| 160 | document.getElementById('app').appendChild(ov); |
| 161 | } |
| 162 | ov.querySelector('.cmd-overlay-label').textContent = label; |
| 163 | ov.classList.add('visible'); |
| 164 | $('input-area').classList.add('waiting'); |
| 165 | } |
| 166 | |
| 167 | export function hideCmdOverlay() { |
| 168 | const ov = $('cmd-overlay'); |