--- 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,