src/Tools/jEdit/src/isabelle.scala

--- a/src/Tools/jEdit/src/isabelle.scala	Tue Feb 18 18:51:03 2014 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala	Tue Feb 18 19:00:13 2014 +0100
@@ -83,7 +83,7 @@
     }
 
   def docked_simplifier_trace(view: View): Option[Simplifier_Trace_Dockable] =
-    wm(view).getDockableWindow("isabelle-simp-trace") match {
+    wm(view).getDockableWindow("isabelle-simplifier-trace") match {
       case dockable: Simplifier_Trace_Dockable => Some(dockable)
       case _ => None
     }