# HG changeset patch
# User wenzelm
# Date 1417724915 -3600
# Node ID 4c8205fe3644bf1205e62f88dd1c4038dca41205
# Parent  a0a05a4edb36c950e0df27eb5da5878ed2158d03
proper GUI_Thread context (cf. 7e0d3da6e6d8);

diff -r a0a05a4edb36 -r 4c8205fe3644 src/Tools/jEdit/src/isabelle_sidekick.scala
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu Dec 04 20:56:38 2014 +0100
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu Dec 04 21:28:35 2014 +0100
@@ -83,7 +83,7 @@
 
     // FIXME lock buffer (!??)
     val data = Isabelle_Sidekick.root_data(buffer)
-    val syntax = Isabelle.buffer_syntax(buffer)
+    val syntax = GUI_Thread.now { Isabelle.buffer_syntax(buffer) }
     val ok =
       if (syntax.isDefined) {
         val ok = parser(buffer, syntax.get, data)