| commit | 98a1a64cc0168dfdd09ffe3734c536be948324a0 | [log] [tgz] |
|---|---|---|
| author | Kai Maetzel <kmaetzel> | Tue Jan 27 10:52:22 2004 +0000 |
| committer | Kai Maetzel <kmaetzel> | Tue Jan 27 10:52:22 2004 +0000 |
| tree | 62a88f8634ba03ebfdc0bd0a0036d7f596caa4b4 | |
| parent | d551c7ee1247b5cbf144dce81d32a576c77dfe2f [diff] |
reduce # of annotation change notification
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractMarkerAnnotationModel.java b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractMarkerAnnotationModel.java index 75ddd1a..c40a3b3 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractMarkerAnnotationModel.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractMarkerAnnotationModel.java
@@ -315,7 +315,7 @@ Position p= createPositionFromMarker(marker); if (p != null) { a.update(); - modifyAnnotation(a, p); + modifyAnnotation(a, p, false); } } }