void (int startVisualLine, int endVisualLine) { Rectangle visibleArea = getScrollingModel().getVisibleArea(); int yStart = visualLineToY(startVisualLine); int height = visualLineToYRange(endVisualLine)[1] + 2 - yStart; myEditorComponent.repaintEditorComponent(visibleArea.x, yStart, visibleArea.x + visibleArea.width, height); myGutterComponent.repaint(0, yStart, myGutterComponent.getWidth(), height); }