(msg)
| 16 | /* ── UI helpers ── */ |
| 17 | const $ = (id) => document.getElementById(id); |
| 18 | const log = (msg) => { |
| 19 | const el = $("flash-log"); |
| 20 | el.textContent += msg + "\n"; |
| 21 | el.scrollTop = el.scrollHeight; |
| 22 | }; |
| 23 | |
| 24 | function showFlashOverlay() { |
| 25 | $("flash-overlay").hidden = false; |
no test coverage detected