219       const mizarId = block.id.replace("mizarBlock", "");
221         setupMizarBlock(block, mizarId);
315   for (let mizarId of editorOrder) {
316     if (mizarId === targetMizarId) {
319     totalLines += editors[mizarId].state.doc.lines;
326   for (let mizarId of editorOrder) {
327     const editor = editors[mizarId];
333       effects: lineNumberConfigs[mizarId].reconfigure(lineNumberExtension),
341   for (let mizarId of editorOrder) {
342     const editor = editors[mizarId];
355 function setupMizarBlock(mizarBlock, mizarId) {  argument
357   editorContainer.id = `editorContainer${mizarId}`;
365   lineNumberConfigs[mizarId] = lineNumberConfig;
376               `${number + calculateStartLineNumber(mizarId) - 1}`,
398   window.editors[mizarId] = editor;
399   editorOrder.push(mizarId);
428       startMizarCompilation(mizarBlock, toggleErrorPanel, mizarId).finally(() => {
499     startGraphVisualization(mizarBlock, mizarId)
521 async function startMizarCompilation(mizarBlock, toggleErrorPanel, mizarId) {  argument
546       const editor = editors[mizarId];
564         let errorContent = editors[mizarId].state.field(errorPanelState) || "";
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");
650 async function startGraphVisualization(mizarBlock, mizarId) {  argument
667     const out  = mizarBlock.querySelector(`#outputmizarBlock${mizarId}`);
700     const mizarId = editorOrder[i];
701     const editor = editors[mizarId];
789   for (let mizarId of editorOrder) {
790     const editor = editors[mizarId];
807       const mizarId = mizarIdRaw.replace("mizarBlock", "");  constant
809       if (!editors[mizarId]) {
814       const editor = editors[mizarId];