Mercurial > urweb

diff lib/ur/basis.urs @ 1785:ffd7ed3bc0b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.giveFocus
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 11:59:41 -0400
parents 5bc4fbf9c0fe
children d794149b3713
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Jul 21 10:12:35 2012 -0400
+++ b/lib/ur/basis.urs	Sat Jul 21 11:59:41 2012 -0400
@@ -762,6 +762,7 @@
 
 type id
 val fresh : transaction id
+val giveFocus : id -> transaction unit
 
 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit
           -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind