mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-25 09:55:29 +02:00
Code Issues Wiki Activity

fixed bug # 78292

Browse source
This commit is contained in:
David Inglis 2004-11-12 14:55:52 +00:00
parent 4bc6d0803b
commit daec23935b
2 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
core/org.eclipse.cdt.ui/ChangeLog
View file

@ -1,3 +1,8 @@
2004-11-12 David Inglis
Fixed bug # 78292
* src/org/eclipse/cdt/internal/ui/editor/TranslationUnitAnnotationModelEvent.java
2004-11-10 Chris Wiebe
additional case for 78200

9
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/TranslationUnitAnnotationModelEvent.java
View file

@ -16,6 +16,7 @@ import org.eclipse.core.resources.IMarker;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.jface.text.Position;
import org.eclipse.jface.text.source.Annotation;
import org.eclipse.jface.text.source.AnnotationModelEvent;
import org.eclipse.jface.text.source.IAnnotationModel;
@ -72,6 +73,14 @@ 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)
*/
public void annotationRemoved(Annotation annotation, Position position) {
super.annotationRemoved(annotation, position);
testIfProblemMarker(annotation);
}
/*
* @see org.eclipse.jface.text.source.AnnotationModelEvent#annotationRemoved(org.eclipse.jface.text.source.Annotation)
*/