diff: do not paint over annotations in gutter
[idea/community.git] / platform / platform-impl / src / com / intellij / openapi / editor / ex / EditorGutterComponentEx.java
index 6478aaa96ae523d887b849416cdaeafb61937f49..367cb823fca9c378ed2bcc8a227913450fab3db6 100644 (file)
@@ -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);