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