void (int visualLine, int logicalLine, float x, int y) { List<LineExtensionData> data = myExtensionData.get(visualLine); if (data == null) return; for (LineExtensionData datum : data) { x = paintLineLayoutWithEffect(datum.layout, x, y, datum.info.getColor(), datum.info.getEffectColor(), datum.info.getEffectType()); } int currentLineWidth = myCorrector.lineWidth(visualLine, x); EditorSizeManager sizeManager = myView.getSizeManager(); if (currentLineWidth > sizeManager.getMaxLineWithExtensionWidth()) { sizeManager.setMaxLineWithExtensionWidth(logicalLine, currentLineWidth); myEditor.getContentComponent().revalidate(); } }