Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorimmler@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
merged
--- 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
         })
     }
isabelle