void () { for (FoldedBlock folding : getFoldedBlocks()) { folding.destroyHighlighter(); } runBatchOperation(() -> { for (FoldedBlock folding : getFoldedBlocks()) { folding.destroyFolding(); } myFoldings.clear(); myHoveredBlock = null; }); }