void (Graphics g, TextAnnotationGutterProvider gutterProvider, int line, int x, int y) { String s = gutterProvider.getLineText(line, myEditor); if (!StringUtil.isEmpty(s)) { g.setColor(myEditor.getColorsScheme().getColor(gutterProvider.getColor(line, myEditor))); EditorFontType style = gutterProvider.getStyle(line, myEditor); Font font = getFontForText(s, style); g.setFont(font); int offset = 0; if (gutterProvider.useMargin()) { if (gutterProvider.getLeftMargin() >= 0) { offset = gutterProvider.getLeftMargin(); } else { offset = getGapBetweenAnnotations() / 2; } } g.drawString(s, offset + x, y + myEditor.getAscent()); } }