bug 305034 - delete markers for type performance is slow

Change-Id: Ife6ab510154800e617b490ac5bec80e2dc80910d

1 files changed, 7 insertions, 3 deletions

diff --git a/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/MarkerManager.java b/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/MarkerManager.java
index b34145fa3..ecadb61e5 100644
--- a/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/MarkerManager.java
+++ b/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/MarkerManager.java
@@ -1,5 +1,5 @@
 /*******************************************************************************
- * Copyright (c) 2000, 2011 IBM Corporation and others.
+ * Copyright (c) 2000, 2012 IBM Corporation and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
  * which accompanies this distribution, and is available at
@@ -185,8 +185,12 @@ public class MarkerManager implements IManager {
 			markers = info.getMarkers(true);
 			// remove all the matching markers and also the whole 
 			// set if there are no remaining markers
-			markers.removeAll(matching);
-			info.setMarkers(markers.size() == 0 ? null : markers);
+			if (markers.size() == matching.length) {
+				info.setMarkers(null);
+			} else {
+				markers.removeAll(matching);
+				info.setMarkers(markers);
+			}
 		}
 		info.set(ICoreConstants.M_MARKERS_SNAP_DIRTY);
 		IMarkerSetElement[] changes = new IMarkerSetElement[matching.length];