changeset 56662 | f373fb77e0a4 |
parent 56558 | 05c833d402bc |
child 56715 | 52125652e82a |
--- a/src/Tools/jEdit/src/plugin.scala Tue Apr 22 23:31:45 2014 +0200 +++ b/src/Tools/jEdit/src/plugin.scala Tue Apr 22 23:49:15 2014 +0200 @@ -278,7 +278,7 @@ override def handleMessage(message: EBMessage) { - Swing_Thread.assert() + Swing_Thread.assert {} if (PIDE.startup_failure.isDefined && !PIDE.startup_notified) { message match {