diff options
Diffstat (limited to 'core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/TranslationUnitAnnotationModelEvent.java')
-rw-r--r-- | core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/TranslationUnitAnnotationModelEvent.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/TranslationUnitAnnotationModelEvent.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/TranslationUnitAnnotationModelEvent.java index b47105fdde8..0e8a3218b2f 100644 --- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/TranslationUnitAnnotationModelEvent.java +++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/TranslationUnitAnnotationModelEvent.java @@ -67,6 +67,7 @@ public class TranslationUnitAnnotationModelEvent extends AnnotationModelEvent { /* * @see org.eclipse.jface.text.source.AnnotationModelEvent#annotationAdded(org.eclipse.jface.text.source.Annotation) */ + @Override public void annotationAdded(Annotation annotation) { super.annotationAdded(annotation); testIfProblemMarker(annotation); @@ -76,6 +77,7 @@ public class TranslationUnitAnnotationModelEvent extends AnnotationModelEvent { /* (non-Javadoc) * @see org.eclipse.jface.text.source.AnnotationModelEvent#annotationRemoved(org.eclipse.jface.text.source.Annotation, org.eclipse.jface.text.Position) */ + @Override public void annotationRemoved(Annotation annotation, Position position) { super.annotationRemoved(annotation, position); testIfProblemMarker(annotation); @@ -84,6 +86,7 @@ public class TranslationUnitAnnotationModelEvent extends AnnotationModelEvent { /* * @see org.eclipse.jface.text.source.AnnotationModelEvent#annotationRemoved(org.eclipse.jface.text.source.Annotation) */ + @Override public void annotationRemoved(Annotation annotation) { super.annotationRemoved(annotation); testIfProblemMarker(annotation); @@ -92,6 +95,7 @@ public class TranslationUnitAnnotationModelEvent extends AnnotationModelEvent { /* * @see org.eclipse.jface.text.source.AnnotationModelEvent#annotationChanged(org.eclipse.jface.text.source.Annotation) */ + @Override public void annotationChanged(Annotation annotation) { testIfProblemMarker(annotation); super.annotationChanged(annotation); |