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/info_dockable.scala
changeset 57042 5576d22abf3c
parent 56883 38c6b70e5e53
child 57044 042d6e58cb40 
--- a/src/Tools/jEdit/src/info_dockable.scala	Wed May 21 14:09:43 2014 +0200
+++ b/src/Tools/jEdit/src/info_dockable.scala	Wed May 21 14:42:45 2014 +0200
@@ -92,7 +92,7 @@
   zoom.tooltip = "Zoom factor for basic font size"
 
   private val controls = new Wrap_Panel(Wrap_Panel.Alignment.Right)(
-    pretty_text_area.search_label, pretty_text_area.search_pattern, zoom)
+    pretty_text_area.search_label, pretty_text_area.search_field, zoom)
   add(controls.peer, BorderLayout.NORTH)
isabelle