Mercurial > urweb

diff lib/ur/basis.urs @ 799:9330ba3a2799

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cselect.onchange
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 11:04:56 -0400
parents 2c463eee89fa
children 4585f744574a
line wrap: on
line diff
--- a/lib/ur/basis.urs	Thu May 14 10:31:11 2009 -0400
+++ b/lib/ur/basis.urs	Thu May 14 11:04:56 2009 -0400
@@ -632,7 +632,8 @@
 val button : cformTag [Value = string, Onclick = transaction unit] []
 
 con cselect = [Cselect]
-val cselect : cformTag [Source = source string] cselect
+val cselect : cformTag [Source = source string,
+                        Onchange = transaction unit] cselect
 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] []
 
 (*** Tables *)