Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/pretty_text_area.scala
changeset 59286 ac74eedb910a
parent 59224 e3f90d5c0006
child 60250 baf2c8fddaa4 
--- a/src/Tools/jEdit/src/pretty_text_area.scala	Mon Jan 05 11:15:30 2015 +0100
+++ b/src/Tools/jEdit/src/pretty_text_area.scala	Mon Jan 05 14:13:38 2015 +0100
@@ -201,7 +201,7 @@
         })
         setColumns(20)
         setToolTipText(search_label.tooltip)
-        setFont(GUI.imitate_font(Font_Info.main_family(), getFont, 1.2))
+        setFont(GUI.imitate_font(getFont, Font_Info.main_family(), 1.2))
       })
 
   private val search_field_foreground = search_field.foreground
isabelle