Searched refs:toggleErrorPanel (Results 1 – 4 of 4) sorted by relevance
| /plugin/mizarverifiabledocs/src/ |
| H A D | script.js | 292 const toggleErrorPanel = StateEffect.define(); constant
297 if (e.is(toggleErrorPanel)) value = e.value;
428 startMizarCompilation(mizarBlock, toggleErrorPanel, mizarId).finally(() => {
454 effects: toggleErrorPanel.of(null),
521 async function startMizarCompilation(mizarBlock, toggleErrorPanel, mizarId) { argument
550 effects: toggleErrorPanel.of(content),
608 effects: [toggleErrorPanel.of(errorContent)],
|
| /plugin/mizarveifiabledocs/dist/ |
| D | script.js.map | 1 …toggleErrorPanel = (0, $3ef527dddcdea745$export$95000d4efaa4321f).define();\nconst $1df32a4945e9e1…
|
| /plugin/mizarproofchecker/dist/ |
| D | script.js.map | 1 …toggleErrorPanel = (0, $3ef527dddcdea745$export$95000d4efaa4321f).define();\nconst $1df32a4945e9e1…
|
| /plugin/mizarverifiabledocs/dist/ |
| H A D | script.js.map | 1 …toggleErrorPanel = (0, $3ef527dddcdea745$export$95000d4efaa4321f).define();\nconst $1df32a4945e9e1…
|