# HG changeset patch
# User wenzelm
# Date 1696770779 -7200
# Node ID 08fedb5bdeb0810ea2d718b9a105dbaf4d2132d3
# Parent  323eecf508b498e72f46a135b4b9ad03838ce183
proper thread context for "isabelle-markup" Sidekick parser (amending 01a7265db76b);

diff -r 323eecf508b4 -r 08fedb5bdeb0 src/Tools/jEdit/jedit_main/isabelle_sidekick.scala
--- a/src/Tools/jEdit/jedit_main/isabelle_sidekick.scala	Sun Oct 08 15:02:01 2023 +0200
+++ b/src/Tools/jEdit/jedit_main/isabelle_sidekick.scala	Sun Oct 08 15:12:59 2023 +0200
@@ -176,7 +176,8 @@
   override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean = {
     val opt_snapshot =
       Document_Model.get_model(buffer) match {
-        case Some(model) if model.is_theory => Some(Document_Model.snapshot(model))
+        case Some(model) if model.is_theory =>
+          GUI_Thread.now { Some(Document_Model.snapshot(model)) }
         case _ => None
       }
     opt_snapshot match {