src/Tools/jEdit/src/isabelle_sidekick.scala
changeset 57612 990ffb84489b
parent 56814 eb8f2a5a57ad
child 57900 fd03765b06c0
     1.1 --- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Wed Jul 23 11:08:24 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Wed Jul 23 11:19:24 2014 +0200
     1.3 @@ -149,7 +149,7 @@
     1.4    override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean =
     1.5    {
     1.6      val opt_snapshot =
     1.7 -      Swing_Thread.now {
     1.8 +      GUI_Thread.now {
     1.9          Document_Model(buffer) match {
    1.10            case Some(model) if model.is_theory => Some(model.snapshot)
    1.11            case _ => None