import com.intellij.openapi.editor.Editor;
import com.intellij.openapi.editor.colors.ColorKey;
+import com.intellij.openapi.editor.colors.EditorColors;
import com.intellij.openapi.editor.colors.EditorColorsManager;
import com.intellij.openapi.editor.colors.EditorColorsScheme;
import com.intellij.openapi.editor.ex.EditorEx;
+import com.intellij.openapi.editor.ex.EditorGutterComponentEx;
import com.intellij.openapi.editor.markup.LineMarkerRenderer;
import com.intellij.openapi.editor.markup.LineSeparatorRenderer;
import com.intellij.openapi.ui.GraphicsConfig;
int y = r.y;
int lineHeight = myEditor.getLineHeight();
+ EditorGutterComponentEx gutter = ((EditorEx)editor).getGutterComponentEx();
+ int annotationsOffset = gutter.getAnnotationsAreaOffset();
+ int annotationsWidth = gutter.getAnnotationsAreaWidth();
+ if (annotationsWidth != 0) {
+ g.setColor(editor.getColorsScheme().getColor(EditorColors.GUTTER_BACKGROUND));
+ g.fillRect(annotationsOffset, y, annotationsWidth, lineHeight);
+ }
+
draw(g, 0, y, lineHeight, myEditor.getColorsScheme());
}
int height = getHeight(lineHeight);
Rectangle clip = g.getClipBounds();
+ if (clip.width <= 0) return;
int count = (clip.width / step + 3);
int shift = (clip.x - shiftX) / step;