# HG changeset patch
# User wenzelm
# Date 1406195200 -7200
# Node ID ba170c8ea578f7de8fc5acb1a1d99f3cfe75274b
# Parent  ed58e740a699c47bac1beec8c3d2b962ecd56721
tuned;

diff -r ed58e740a699 -r ba170c8ea578 src/Pure/GUI/gui.scala
--- 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 =