diff 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
line wrap: on
line diff
--- a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/AnnotationPainter.d	Wed Mar 18 09:09:23 2009 +0100
+++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/AnnotationPainter.d	Wed Mar 18 09:57:53 2009 +0100
@@ -85,7 +85,6 @@
 import java.util.HashMap;
 import java.util.Set;
 import java.util.HashSet;
-import tango.io.Stdout;
 
 import org.eclipse.swt.SWT;
 import org.eclipse.swt.SWTException;
@@ -1205,7 +1204,7 @@
         } else {
             if (DEBUG && event !is null && event.isWorldChange()) {
                 System.out_.println("AP: WORLD CHANGED, stack trace follows:"); //$NON-NLS-1$
-                ExceptionPrintStackTrace( new Exception(""), Stdout );
+                ExceptionPrintStackTrace( new Exception(""), & getDwtLogger().info );
             }
 
             // XXX: posting here is a problem for annotations that are being