void () { if (isValid() && !myEditor.isDisposed()) { if (myEditor.getFoldingModel().isInBatchFoldingOperation()) { myEditor.getFoldingModel().myRepaintRequested = true; } else { JComponent component = myEditor.getContentComponent(); if (component.isShowing()) { Point location = getLocation(); if (location != null) { component.repaint(0, location.y, component.getWidth(), myHeightInPixels); } } } } }