diff: do not paint over annotations in gutter

[idea/community.git] / platform / platform-impl / src / com / intellij / openapi / editor / ex / EditorGutterComponentEx.java

diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/ex/EditorGutterComponentEx.java b/platform/platform-impl/src/com/intellij/openapi/editor/ex/EditorGutterComponentEx.java
index 6478aaa96ae523d887b849416cdaeafb61937f49..367cb823fca9c378ed2bcc8a227913450fab3db6 100644 (file)
--- a/platform/platform-impl/src/com/intellij/openapi/editor/ex/EditorGutterComponentEx.java
+++ b/platform/platform-impl/src/com/intellij/openapi/editor/ex/EditorGutterComponentEx.java
@@ -56,6 +56,10 @@ public abstract class EditorGutterComponentEx extends JComponent implements Edit
 
   public abstract int getIconsAreaWidth();
 
+  public abstract int getAnnotationsAreaOffset();
+
+  public abstract int getAnnotationsAreaWidth();
+
   @Nullable
   public abstract Point getPoint(GutterIconRenderer renderer);