changeset 56662 | f373fb77e0a4 |
parent 56385 | 76acce58aeab |
child 56715 | 52125652e82a |
--- a/src/Tools/jEdit/src/syslog_dockable.scala Tue Apr 22 23:31:45 2014 +0200 +++ b/src/Tools/jEdit/src/syslog_dockable.scala Tue Apr 22 23:49:15 2014 +0200 @@ -23,7 +23,7 @@ private def update_syslog() { - Swing_Thread.require() + Swing_Thread.require {} val text = PIDE.session.current_syslog() if (text != syslog.text) syslog.text = text