1.1 --- a/src/Pure/library.scala	Mon May 10 23:36:47 2010 +0200
     1.2 +++ b/src/Pure/library.scala	Mon May 10 23:46:49 2010 +0200
     1.3 @@ -76,9 +76,11 @@
     1.4    private def simple_dialog(kind: Int, default_title: String)
     1.5      (parent: Component, title: String, message: Any*)
     1.6    {
     1.7 -    JOptionPane.showMessageDialog(parent,
     1.8 -      message.toArray.asInstanceOf[Array[AnyRef]],
     1.9 -      if (title == null) default_title else title, kind)
    1.10 +    Swing_Thread.now {
    1.11 +      JOptionPane.showMessageDialog(parent,
    1.12 +        message.toArray.asInstanceOf[Array[AnyRef]],
    1.13 +        if (title == null) default_title else title, kind)
    1.14 +    }
    1.15    }
    1.16  
    1.17    def dialog = simple_dialog(JOptionPane.PLAIN_MESSAGE, null) _