--- a/src/Tools/jEdit/src/simplifier_trace_dockable.scala Tue Feb 18 18:43:47 2014 +0100
+++ b/src/Tools/jEdit/src/simplifier_trace_dockable.scala Tue Feb 18 18:51:03 2014 +0100
@@ -10,7 +10,6 @@
import isabelle._
import scala.actors.Actor._
-
import scala.swing.{Button, CheckBox, Orientation, Separator}
import scala.swing.event.ButtonClicked
@@ -19,6 +18,7 @@
import org.gjt.sp.jedit.View
+
class Simplifier_Trace_Dockable(view: View, position: String) extends Dockable(view, position)
{
Swing_Thread.require()