Searched defs:toggleErrorPanel (Results 1 – 1 of 1) sorted by relevance
292 const toggleErrorPanel = StateEffect.define(); constant521 async function startMizarCompilation(mizarBlock, toggleErrorPanel, mizarId) { argument