tuned imports;
authorwenzelm
Tue Feb 18 18:51:03 2014 +0100 (2014-02-18)
changeset 5555660ba93d8f9e5
parent 55555 9c16317c91d1
child 55557 aa1adeca714b
tuned imports;
src/Tools/jEdit/src/simplifier_trace_dockable.scala
src/Tools/jEdit/src/simplifier_trace_window.scala
     1.1 --- a/src/Tools/jEdit/src/simplifier_trace_dockable.scala	Tue Feb 18 18:43:47 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/simplifier_trace_dockable.scala	Tue Feb 18 18:51:03 2014 +0100
     1.3 @@ -10,7 +10,6 @@
     1.4  import isabelle._
     1.5  
     1.6  import scala.actors.Actor._
     1.7 -
     1.8  import scala.swing.{Button, CheckBox, Orientation, Separator}
     1.9  import scala.swing.event.ButtonClicked
    1.10  
    1.11 @@ -19,6 +18,7 @@
    1.12  
    1.13  import org.gjt.sp.jedit.View
    1.14  
    1.15 +
    1.16  class Simplifier_Trace_Dockable(view: View, position: String) extends Dockable(view, position)
    1.17  {
    1.18    Swing_Thread.require()
     2.1 --- a/src/Tools/jEdit/src/simplifier_trace_window.scala	Tue Feb 18 18:43:47 2014 +0100
     2.2 +++ b/src/Tools/jEdit/src/simplifier_trace_window.scala	Tue Feb 18 18:51:03 2014 +0100
     2.3 @@ -146,11 +146,10 @@
     2.4  
     2.5  }
     2.6  
     2.7 -class Simplifier_Trace_Window(view: View, snapshot: Document.Snapshot, trace: Simplifier_Trace.Trace) extends Frame
     2.8 +
     2.9 +class Simplifier_Trace_Window(
    2.10 +  view: View, snapshot: Document.Snapshot, trace: Simplifier_Trace.Trace) extends Frame
    2.11  {
    2.12 -
    2.13 -  import Simplifier_Trace_Window._
    2.14 -
    2.15    Swing_Thread.require()
    2.16  
    2.17    val area = new Pretty_Text_Area(view)
    2.18 @@ -162,11 +161,11 @@
    2.19  
    2.20    private val tree = trace.entries.headOption match {
    2.21      case Some(first) =>
    2.22 -      val tree = new Root_Tree(first.parent)
    2.23 -      walk_trace(trace.entries, Map(first.parent -> tree))
    2.24 +      val tree = new Simplifier_Trace_Window.Root_Tree(first.parent)
    2.25 +      Simplifier_Trace_Window.walk_trace(trace.entries, Map(first.parent -> tree))
    2.26        tree
    2.27      case None =>
    2.28 -      new Root_Tree(0)
    2.29 +      new Simplifier_Trace_Window.Root_Tree(0)
    2.30    }
    2.31  
    2.32    do_update(None)