### Eclipse Workspace Patch 1.0
#P org.eclipse.ui.editors
Index: src/org/eclipse/ui/texteditor/ResourceMarkerAnnotationModel.java
===================================================================
RCS file: /home/eclipse/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/ResourceMarkerAnnotationModel.java,v
retrieving revision 1.9
diff -u -r1.9 ResourceMarkerAnnotationModel.java
--- src/org/eclipse/ui/texteditor/ResourceMarkerAnnotationModel.java	28 Mar 2006 16:37:45 -0000	1.9
+++ src/org/eclipse/ui/texteditor/ResourceMarkerAnnotationModel.java	17 May 2006 09:47:34 -0000
@@ -97,8 +97,7 @@
 					removeMarkerAnnotation(delta.getMarker());
 					break;
 				case IResourceDelta.CHANGED :
-					if (hasLocationChanged(delta))
-						modifyMarkerAnnotation(delta.getMarker());
+					modifyMarkerAnnotation(delta.getMarker());
 					break;
 			}
 		}
@@ -106,21 +105,6 @@
 		fireModelChanged();
 	}
 
-	/**
-	 * Tells whether the given delta describes a change in
-	 * the marker's location.
-	 * 
-	 * @param delta the marker delta
-	 * @return <code>true</code> if the marker delta describes a location change 
-	 * @since 3.2 
-	 */
-	private boolean hasLocationChanged(IMarkerDelta delta) {
-		IMarker marker= delta.getMarker();
-		return marker.getAttribute(IMarker.CHAR_START, -1) != delta.getAttribute(IMarker.CHAR_START, -1)
-			|| marker.getAttribute(IMarker.CHAR_END, -1) != delta.getAttribute(IMarker.CHAR_END, -1)
-			|| marker.getAttribute(IMarker.LINE_NUMBER, -1) != delta.getAttribute(IMarker.LINE_NUMBER, -1);
-	}
-
 	/*
 	 * @see AbstractMarkerAnnotationModel#listenToMarkerChanges(boolean)
 	 */