src/Tools/jEdit/src/simplifier_trace_dockable.scala

--- a/src/Tools/jEdit/src/simplifier_trace_dockable.scala	Tue Apr 22 23:31:45 2014 +0200
+++ b/src/Tools/jEdit/src/simplifier_trace_dockable.scala	Tue Apr 22 23:49:15 2014 +0200
@@ -21,7 +21,7 @@
 
 class Simplifier_Trace_Dockable(view: View, position: String) extends Dockable(view, position)
 {
-  Swing_Thread.require()
+  Swing_Thread.require {}
 
   /* component state -- owned by Swing thread */
 
@@ -61,7 +61,7 @@
 
   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)
     {
@@ -147,7 +147,7 @@
 
   override def init()
   {
-    Swing_Thread.require()
+    Swing_Thread.require {}
 
     PIDE.session.global_options += main_actor
     PIDE.session.commands_changed += main_actor
@@ -158,7 +158,7 @@
 
   override def exit()
   {
-    Swing_Thread.require()
+    Swing_Thread.require {}
 
     PIDE.session.global_options -= main_actor
     PIDE.session.commands_changed -= main_actor