--- a/src/Pure/library.scala Mon May 10 23:36:47 2010 +0200
+++ b/src/Pure/library.scala Mon May 10 23:46:49 2010 +0200
@@ -76,9 +76,11 @@
private def simple_dialog(kind: Int, default_title: String)
(parent: Component, title: String, message: Any*)
{
- JOptionPane.showMessageDialog(parent,
- message.toArray.asInstanceOf[Array[AnyRef]],
- if (title == null) default_title else title, kind)
+ Swing_Thread.now {
+ JOptionPane.showMessageDialog(parent,
+ message.toArray.asInstanceOf[Array[AnyRef]],
+ if (title == null) default_title else title, kind)
+ }
}
def dialog = simple_dialog(JOptionPane.PLAIN_MESSAGE, null) _