src/Pure/GUI/gui.scala
changeset 57612 990ffb84489b
parent 57044 042d6e58cb40
child 57639 ba170c8ea578
--- a/src/Pure/GUI/gui.scala	Wed Jul 23 11:08:24 2014 +0200
+++ b/src/Pure/GUI/gui.scala	Wed Jul 23 11:19:24 2014 +0200
@@ -89,7 +89,7 @@
   private def simple_dialog(kind: Int, default_title: String,
     parent: Component, title: String, message: Seq[Any])
   {
-    Swing_Thread.now {
+    GUI_Thread.now {
       val java_message = message map { case x: scala.swing.Component => x.peer case x => x }
       JOptionPane.showMessageDialog(parent,
         java_message.toArray.asInstanceOf[Array[AnyRef]],
@@ -107,7 +107,7 @@
     simple_dialog(JOptionPane.ERROR_MESSAGE, "Error", parent, title, message)
 
   def confirm_dialog(parent: Component, title: String, option_type: Int, message: Any*): Int =
-    Swing_Thread.now {
+    GUI_Thread.now {
       val java_message = message map { case x: scala.swing.Component => x.peer case x => x }
       JOptionPane.showConfirmDialog(parent,
         java_message.toArray.asInstanceOf[Array[AnyRef]], title,