author | immler@in.tum.de |
Mon, 20 Apr 2009 20:28:45 +0200 | |
changeset 34553 | d013be0adb66 |
parent 34551 | bd2b8fde9e25 (current diff) |
parent 34552 | 65f1b2261cc6 (diff) |
child 34554 | 7dc6c231da40 |
--- a/src/Tools/jEdit/src/jedit/StateViewDockable.scala Mon Apr 20 12:17:15 2009 +0200 +++ b/src/Tools/jEdit/src/jedit/StateViewDockable.scala Mon Apr 20 20:28:45 2009 +0200 @@ -46,7 +46,6 @@ { val renderer = new Java2DTextRenderer renderer.setSmoothingThreshold(0) - renderer.setSmoothingLevel(TextRenderer.HIGH) renderer }) }