Mercurial > urweb
diff lib/ur/basis.urs @ 1290:6791454653c5
Confirm boxes; proper event handler setting for ctags
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 22 Aug 2010 19:45:07 -0400 |
parents | 5137b0537c92 |
children | be6e2cd8d9a9 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sun Aug 22 13:43:46 2010 -0400 +++ b/lib/ur/basis.urs Sun Aug 22 19:45:07 2010 -0400 @@ -158,6 +158,7 @@ (** JavaScript-y gadgets *) val alert : string -> transaction unit +val confirm : string -> transaction bool val spawn : transaction unit -> transaction unit val sleep : int -> transaction unit