diff: do not paint over annotations in gutter
[idea/community.git] / platform / platform-impl / src / com / intellij / openapi / editor / impl / EditorGutterComponentImpl.java
index 2cca0857a0593fa4dae2898bbd8c96dd56380a0f..75cddc4a46f0bee17b4acde265e1951b9d7f86ca 100644 (file)
@@ -1198,10 +1198,12 @@ class EditorGutterComponentImpl extends EditorGutterComponentEx implements Mouse
     return 0;
   }
 
+  @Override
   public int getAnnotationsAreaOffset() {
     return getLineNumberAreaOffset() + getLineNumberAreaWidth();
   }
 
+  @Override
   public int getAnnotationsAreaWidth() {
     return myTextAnnotationGuttersSize;
   }