[cdt-patch] Performance patch for 53521

[David Daoust <ddaoust@xxxxxxxxxx>]

Here is a patch for org.eclipse.cdt.internal.ui/ErrorTickAdornmentProvider
 that reduces the number of times that files are parsed (by 1).

This is noticeable on 
        1.
Startup
        2.
File save
        3.
Likely elsewhere....

        -
Dave  (with some help from Doug and Bogdan)



Index: ErrorTickAdornmentProvider.java
===================================================================
retrieving revision 1.5
diff -u -r1.5 ErrorTickAdornmentProvider.java
--- ErrorTickAdornmentProvider.java	27 Mar 2003 16:12:17 -0000	1.5
+++ ErrorTickAdornmentProvider.java	2 Mar 2004 20:19:48 -0000
@@ -32,10 +32,10 @@
 		try {
 			if (obj instanceof ICElement) {
 				ICElement element= (ICElement) obj;
-				if (!element.exists()) {
+				//if (!element.exists()) {
 					// @@@ Not relevant right now...
 					//return 0;
-				}
+				//}
 				
 				int type= element.getElementType();
 				switch (type) {