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