Mercurial > projects > dwt2
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 |