Function doClose

public/js/fileEditor.js:783–788

()

      let canceled = false;
      const doClose = () => {
        canceled = true;
        window.currentEditor = null;
        window.currentEditorSourceId = '';
        modal.remove();
      };

      // Wire close actions right away
      modal.addEventListener("keydown", (e) => { if (e.key === "Escape") doClose(); });