Searched refs:mizarId (Results 1 – 7 of 7) sorted by relevance
41 $mizarId = 'mizarBlock' . $mizarCounter;47 $renderer->doc .= '<div class="mizarWrapper" id="' . $mizarId . '">';49 … $renderer->doc .= '<button class="copy-button" data-mizarid="' . $mizarId . '">Copy</button>';50 … $renderer->doc .= '<button id="resetButton' . $mizarId . '" class="reset-button">Reset</button>';51 … $renderer->doc .= '<button id="editButton' . $mizarId . '" class="edit-button">Edit</button>';52 …$renderer->doc .= '<button id="compileButton' . $mizarId . '" class="compile-button">Compile</butt…53 … $renderer->doc .= '<button id="hideButton' . $mizarId . '" class="hide-button">Hide</button>';54 …$renderer->doc .= '<button id="graphButton' . $mizarId . '" class="graph-button">Graph</button>'; …55 … $renderer->doc .= '<button id="showButton' . $mizarId . '" class="show-button">Show</button>';66 $renderer->doc .= '<div id="output' . $mizarId . '" class="output"></div>';
39 $mizarId = 'mizarBlock' . $mizarCounter++; // 一意のIDを生成43 $renderer->doc .= '<div class="mizarWrapper" id="' . $mizarId . '">';45 … $renderer->doc .= '<button class="copy-button" data-mizarid="' . $mizarId . '">Copy</button>';46 … $renderer->doc .= '<button id="resetButton' . $mizarId . '" class="reset-button">Reset</button>';47 … $renderer->doc .= '<button id="editButton' . $mizarId . '" class="edit-button">Edit</button>';48 …$renderer->doc .= '<button id="compileButton' . $mizarId . '" class="compile-button">Compile</butt…53 $renderer->doc .= '<div id="output' . $mizarId . '" class="output"></div>';
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];[all …]
1 …mizarId = block.id.replace('mizarBlock', '');\n if (!block.querySelector('.editor-container…
1 …mizarId = block.id.replace(\"mizarBlock\", \"\");\n if (!block.querySelector(\".editor-cont…