src/Tools/jEdit/src/simplifier_trace_window.scala

--- a/src/Tools/jEdit/src/simplifier_trace_window.scala	Wed May 21 14:09:43 2014 +0200
+++ b/src/Tools/jEdit/src/simplifier_trace_window.scala	Wed May 21 14:42:45 2014 +0200
@@ -191,7 +191,7 @@
 
   private val controls = new Wrap_Panel(Wrap_Panel.Alignment.Right)(
     pretty_text_area.search_label,
-    pretty_text_area.search_pattern)
+    pretty_text_area.search_field)
 
   peer.add(controls.peer, BorderLayout.NORTH)
 }