src/Tools/jEdit/src/simplifier_trace_dockable.scala

 
 class Simplifier_Trace_Dockable(view: View, position: String) extends Dockable(view, position)
 {
   GUI_Thread.require {}
 
+
   /* component state -- owned by GUI thread */
 
   private var current_snapshot = Document.State.init.snapshot()
   private var current_command = Command.empty
   private var current_results = Command.Results.empty

   private val text_area = new Pretty_Text_Area(view)
   set_content(text_area)
 
   private def update_contents()
   {
-
-    GUI_Thread.require {}
-
     val snapshot = current_snapshot
     val context = Simplifier_Trace.handle_results(PIDE.session, current_id, current_results)
 
     answers.contents.clear()
     context.questions.values.toList match {

         GUI_Thread.later { handle_update(do_update) }
     }
 
   override def init()
   {
-    GUI_Thread.require {}
-
     PIDE.session.global_options += main
     PIDE.session.commands_changed += main
     PIDE.session.caret_focus += main
     PIDE.session.trace_events += main
     handle_update(true)
   }
 
   override def exit()
   {
-    GUI_Thread.require {}
-
     PIDE.session.global_options -= main
     PIDE.session.commands_changed -= main
     PIDE.session.caret_focus -= main
     PIDE.session.trace_events -= main
     delay_resize.revoke()