Function hideCmdOverlay

app/src/modules/input.js:167–170

()

}

export function hideCmdOverlay() {
  const ov = $('cmd-overlay');
  if (ov) ov.classList.remove('visible');
}

export function send() {
  if (S.waiting) {