Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
simple dialogs: ensure Swing thread;
authorwenzelm
Mon, 10 May 2010 23:46:49 +0200
changeset 36791 b8384c455b40
parent 36790 c8deab866174
child 36792 4cf537964010
simple dialogs: ensure Swing thread;
src/Pure/library.scala file | annotate | diff | comparison | revisions 
--- 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) _
isabelle