void (List<RangeHighlighter> highlighters) { if (!highlighters.isEmpty()) { myGraphics.translate(0, myYShift); for (RangeHighlighter highlighter : highlighters) { CustomHighlighterRenderer customRenderer = highlighter.getCustomRenderer(); if (customRenderer == null) continue; try (AccessToken ignore = SlowOperations.reportOnceIfViolatedFor(customRenderer)) { customRenderer.paint(myEditor, highlighter, myGraphics); } } myGraphics.translate(0, -myYShift); } }