Searched refs:mizarBlock (Results 1 – 4 of 4) sorted by relevance
355 function setupMizarBlock(mizarBlock, mizarId) { argument356 const editorContainer = mizarBlock.querySelector(".editor-container");402 const editButton = mizarBlock.querySelector("button[id^='editButton']");403 const compileButton = mizarBlock.querySelector("button[id^='compileButton']");404 const resetButton = mizarBlock.querySelector("button[id^='resetButton']");405 const graphButton = mizarBlock.querySelector("button[id^='graphButton']");417 if (mizarBlock.isRequestInProgress) {420 mizarBlock.isRequestInProgress = true;428 startMizarCompilation(mizarBlock, toggleErrorPanel, mizarId).finally(() => {431 mizarBlock.isRequestInProgress = false;[all …]
1 …mizarBlock\", \"\");\n if (!block.querySelector(\".editor-container\").firstChild) $1df32a4…
1 …mizarBlock', '');\n if (!block.querySelector('.editor-container').firstChild) $1df32a4945e9…