comparison org.eclipse.jface.text/src/org/eclipse/jface/text/source/AnnotationPainter.d @ 18:735224fcc45f

redirected all printings to DwtLogger
author Frank Benoit <benoit@tionex.de>
date Wed, 18 Mar 2009 09:57:53 +0100
parents 6f068362a363
children
comparison
equal deleted inserted replaced
17:6f068362a363 18:735224fcc45f
83 import java.util.Iterator; 83 import java.util.Iterator;
84 import java.util.Map; 84 import java.util.Map;
85 import java.util.HashMap; 85 import java.util.HashMap;
86 import java.util.Set; 86 import java.util.Set;
87 import java.util.HashSet; 87 import java.util.HashSet;
88 import tango.io.Stdout;
89 88
90 import org.eclipse.swt.SWT; 89 import org.eclipse.swt.SWT;
91 import org.eclipse.swt.SWTException; 90 import org.eclipse.swt.SWTException;
92 import org.eclipse.swt.custom.StyleRange; 91 import org.eclipse.swt.custom.StyleRange;
93 import org.eclipse.swt.custom.StyledText; 92 import org.eclipse.swt.custom.StyledText;
1203 return; 1202 return;
1204 } 1203 }
1205 } else { 1204 } else {
1206 if (DEBUG && event !is null && event.isWorldChange()) { 1205 if (DEBUG && event !is null && event.isWorldChange()) {
1207 System.out_.println("AP: WORLD CHANGED, stack trace follows:"); //$NON-NLS-1$ 1206 System.out_.println("AP: WORLD CHANGED, stack trace follows:"); //$NON-NLS-1$
1208 ExceptionPrintStackTrace( new Exception(""), Stdout ); 1207 ExceptionPrintStackTrace( new Exception(""), & getDwtLogger().info );
1209 } 1208 }
1210 1209
1211 // XXX: posting here is a problem for annotations that are being 1210 // XXX: posting here is a problem for annotations that are being
1212 // removed and the positions of which are not updated to document 1211 // removed and the positions of which are not updated to document
1213 // changes any more. If the document gets modified between 1212 // changes any more. If the document gets modified between