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