Lines Matching refs:editors

165 const editors = (window.editors = window.editors || {});  constant
319     totalLines += editors[mizarId].state.doc.lines;
327     const editor = editors[mizarId];
342     const editor = editors[mizarId];
398   window.editors[mizarId] = editor;
546       const editor = editors[mizarId];
564         let errorContent = editors[mizarId].state.field(errorPanelState) || "";
586               const editorId = Object.keys(editors).find(
587                 (key) => editors[key] === editor
598           const editor = editors[editorId];
607         editors[mizarId].dispatch({
612           editors[mizarId].dom.querySelector(".cm-error-panel").style.backgroundColor =
615           editors[mizarId].dom.querySelector(".cm-error-panel").style.backgroundColor =
619         const errorPanel = editors[mizarId].dom.querySelector(".cm-error-panel");
701     const editor = editors[mizarId];
790     const editor = editors[mizarId];
809       if (!editors[mizarId]) {
814       const editor = editors[mizarId];