# HG changeset patch
# User wenzelm
# Date 1437161853 -7200
# Node ID 6d718fda8215d63cfecaec7dc9756f3de42cde23
# Parent  4ced3c6ad807d681597b8dc3240facea103f1e6b
tuned;

diff -r 4ced3c6ad807 -r 6d718fda8215 src/Tools/jEdit/src/simplifier_trace_dockable.scala
--- a/src/Tools/jEdit/src/simplifier_trace_dockable.scala	Fri Jul 17 21:00:41 2015 +0200
+++ b/src/Tools/jEdit/src/simplifier_trace_dockable.scala	Fri Jul 17 21:37:33 2015 +0200
@@ -22,6 +22,7 @@
 {
   GUI_Thread.require {}
 
+
   /* component state -- owned by GUI thread */
 
   private var current_snapshot = Document.State.init.snapshot()
@@ -36,9 +37,6 @@
 
   private def update_contents()
   {
-
-    GUI_Thread.require {}
-
     val snapshot = current_snapshot
     val context = Simplifier_Trace.handle_results(PIDE.session, current_id, current_results)
 
@@ -125,8 +123,6 @@
 
   override def init()
   {
-    GUI_Thread.require {}
-
     PIDE.session.global_options += main
     PIDE.session.commands_changed += main
     PIDE.session.caret_focus += main
@@ -136,8 +132,6 @@
 
   override def exit()
   {
-    GUI_Thread.require {}
-
     PIDE.session.global_options -= main
     PIDE.session.commands_changed -= main
     PIDE.session.caret_focus -= main