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
         })
     }