src/Tools/jEdit/src/simplifier_trace_dockable.scala

 import org.gjt.sp.jedit.View
 
 
 class Simplifier_Trace_Dockable(view: View, position: String) extends Dockable(view, position)
 {
-  Swing_Thread.require()
+  Swing_Thread.require {}
 
   /* component state -- owned by Swing thread */
 
   private var current_snapshot = Document.State.init.snapshot()
   private var current_command = Command.empty

     XML.Elem(Markup(Markup.TEXT_FOLD, Nil), List(Pretty.block(all)))
   }
 
   private def set_context(snapshot: Document.Snapshot, context: Simplifier_Trace.Context)
   {
-    Swing_Thread.require()
+    Swing_Thread.require {}
     val questions = context.questions.values
     if (do_auto_reply && !questions.isEmpty)
     {
       questions.foreach(q => Simplifier_Trace.send_reply(PIDE.session, q.data.serial, q.default_answer))
       handle_update(do_update)

     }
   }
 
   override def init()
   {
-    Swing_Thread.require()
+    Swing_Thread.require {}
 
     PIDE.session.global_options += main_actor
     PIDE.session.commands_changed += main_actor
     PIDE.session.caret_focus += main_actor
     PIDE.session.trace_events += main_actor
     handle_update(true)
   }
 
   override def exit()
   {
-    Swing_Thread.require()
+    Swing_Thread.require {}
 
     PIDE.session.global_options -= main_actor
     PIDE.session.commands_changed -= main_actor
     PIDE.session.caret_focus -= main_actor
     PIDE.session.trace_events -= main_actor