void () { FoldRegion region = myRegions[myIndex]; if (region == null || !region.isValid()) return; if (myEditors[myIndex].isDisposed()) return; myEditors[myIndex].repaint(region.getStartOffset(), region.getEndOffset()); }