# HG changeset patch
# User wenzelm
# Date 1372503424 -7200
# Node ID 025b3777e5929d7d580e3ab1fd71cba10344ebf9
# Parent  7d7b4e285ea70d4c4d86d60b240e8e23aa85b4af
tuned signature;

diff -r 7d7b4e285ea7 -r 025b3777e592 src/Pure/System/swing_thread.scala
--- a/src/Pure/System/swing_thread.scala	Sat Jun 29 08:45:04 2013 +0200
+++ b/src/Pure/System/swing_thread.scala	Sat Jun 29 12:57:04 2013 +0200
@@ -19,6 +19,8 @@
   def assert() = Predef.assert(SwingUtilities.isEventDispatchThread())
   def require() = Predef.require(SwingUtilities.isEventDispatchThread())
 
+  def required[A](body: => A): A = { require(); body }
+
 
   /* main dispatch queue */