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 signature;
authorwenzelm
Sat, 29 Jun 2013 12:57:04 +0200
changeset 52477 025b3777e592
parent 52476 7d7b4e285ea7
child 52478 0a1db0d02628
tuned signature;
src/Pure/System/swing_thread.scala file | annotate | diff | comparison | revisions 
--- 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 */
isabelle