src/Tools/jEdit/src/raw_output_dockable.scala
changeset 57612 990ffb84489b
parent 56715 52125652e82a
child 66593 6efa351190d0
     1.1 --- a/src/Tools/jEdit/src/raw_output_dockable.scala	Wed Jul 23 11:08:24 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/raw_output_dockable.scala	Wed Jul 23 11:19:24 2014 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4    private val main =
     1.5      Session.Consumer[Prover.Output](getClass.getName) {
     1.6        case output: Prover.Output =>
     1.7 -        Swing_Thread.later {
     1.8 +        GUI_Thread.later {
     1.9            text_area.append(XML.content(output.message))
    1.10            if (!output.is_stdout && !output.is_stderr) text_area.append("\n")
    1.11          }