src/Tools/jEdit/src/simplifier_trace_window.scala
changeset 56662 f373fb77e0a4
parent 55825 694833e3e4a0
child 56750 205dd4439db1
     1.1 --- a/src/Tools/jEdit/src/simplifier_trace_window.scala	Tue Apr 22 23:31:45 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/simplifier_trace_window.scala	Tue Apr 22 23:49:15 2014 +0200
     1.3 @@ -150,7 +150,7 @@
     1.4  class Simplifier_Trace_Window(
     1.5    view: View, snapshot: Document.Snapshot, trace: Simplifier_Trace.Trace) extends Frame
     1.6  {
     1.7 -  Swing_Thread.require()
     1.8 +  Swing_Thread.require {}
     1.9  
    1.10    val area = new Pretty_Text_Area(view)
    1.11