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