# HG changeset patch
# User immler@in.tum.de
# Date 1240226213 -7200
# Node ID 65f1b2261cc6faaa0deaebcec19f5aecae0de736
# Parent  171c8c6e5707387ba7b6e323733a564b93ddf208
Anti-aliasing is now controlled via the smoothing threshhold

diff -r 171c8c6e5707 -r 65f1b2261cc6 src/Tools/jEdit/src/jedit/StateViewDockable.scala
--- a/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Thu Apr 16 13:38:03 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Mon Apr 20 13:16:53 2009 +0200
@@ -46,7 +46,6 @@
         {
           val renderer = new Java2DTextRenderer
           renderer.setSmoothingThreshold(0)
-          renderer.setSmoothingLevel(TextRenderer.HIGH)
           renderer
         })
     }