# 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 */