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.
tuned;
authorwenzelm
Thu, 24 Jul 2014 11:46:40 +0200
changeset 57639 ba170c8ea578
parent 57638 ed58e740a699
child 57640 0a28cf866d5d
tuned;
src/Pure/GUI/gui.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/GUI/gui.scala	Thu Jul 24 10:38:46 2014 +0200
+++ b/src/Pure/GUI/gui.scala	Thu Jul 24 11:46:40 2014 +0200
@@ -97,13 +97,13 @@
     }
   }
 
-  def dialog(parent: Component, title: String, message: Any*) =
+  def dialog(parent: Component, title: String, message: Any*): Unit =
     simple_dialog(JOptionPane.PLAIN_MESSAGE, null, parent, title, message)
 
-  def warning_dialog(parent: Component, title: String, message: Any*) =
+  def warning_dialog(parent: Component, title: String, message: Any*): Unit =
     simple_dialog(JOptionPane.WARNING_MESSAGE, "Warning", parent, title, message)
 
-  def error_dialog(parent: Component, title: String, message: Any*) =
+  def error_dialog(parent: Component, title: String, message: Any*): Unit =
     simple_dialog(JOptionPane.ERROR_MESSAGE, "Error", parent, title, message)
 
   def confirm_dialog(parent: Component, title: String, option_type: Int, message: Any*): Int =
isabelle