--- antlrworks-1.4.2-src/src/aw/org/antlr/works/ate/ATETextPane.java	2010-12-13 09:35:32.000000000 +0100
+++ antlrworks-1.4.2-src-dp/src/aw/org/antlr/works/ate/ATETextPane.java	2011-04-07 12:32:39.959102300 +0200
@@ -56,12 +56,18 @@
     protected boolean wrap = false;
     protected boolean highlightCursorLine = false;
     private int destinationCursorPosition = -1;
+    
+    private Object textAAMode = null;
 
     public ATETextPane(ATEPanel textEditor, StyledEditorKit editorKit) {
         super(new DefaultStyledDocument());
         setCaret(new ATECaret());
         setEditorKit(editorKit==null?new ATEEditorKit(textEditor):editorKit);
         this.textEditor = textEditor;
+        RenderingHints desktopHints = (RenderingHints) Toolkit.getDefaultToolkit().getDesktopProperty("awt.font.desktophints");
+        if (desktopHints != null) {
+            this.textAAMode = desktopHints.get(RenderingHints.KEY_TEXT_ANTIALIASING);
+        }
     }
 
     public void close() {
@@ -135,6 +141,9 @@
 
     @Override
     public void paintComponent(Graphics g) {
+        if (this.textAAMode != null) {
+            ((Graphics2D) g).setRenderingHint( RenderingHints.KEY_TEXT_ANTIALIASING, this.textAAMode );
+        }
         super.paintComponent(g);
         paintDestinationCursor(g);
         textEditor.textPaneDidPaint(g);