src/Tools/jEdit/src/jedit_editor.scala
changeset 62062 ee610059b0e9
parent 61728 5f5ff1eab407
child 62248 dca0bac351b2
     1.1 --- a/src/Tools/jEdit/src/jedit_editor.scala	Tue Jan 05 15:35:08 2016 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit_editor.scala	Tue Jan 05 15:40:25 2016 +0100
     1.3 @@ -196,8 +196,10 @@
     1.4          try { Doc.view(path) }
     1.5          catch {
     1.6            case exn: Throwable =>
     1.7 -            GUI.error_dialog(view,
     1.8 -              "Documentation error", GUI.scrollable_text(Exn.message(exn)))
     1.9 +            GUI_Thread.later {
    1.10 +              GUI.error_dialog(view,
    1.11 +                "Documentation error", GUI.scrollable_text(Exn.message(exn)))
    1.12 +            }
    1.13          }
    1.14        }
    1.15      }
    1.16 @@ -224,7 +226,9 @@
    1.17            try { Isabelle_System.open(name) }
    1.18            catch {
    1.19              case exn: Throwable =>
    1.20 -              GUI.error_dialog(view, "System error", GUI.scrollable_text(Exn.message(exn)))
    1.21 +              GUI_Thread.later {
    1.22 +                GUI.error_dialog(view, "System error", GUI.scrollable_text(Exn.message(exn)))
    1.23 +              }
    1.24            }
    1.25          }
    1.26        override def toString: String = "URL " + quote(name)