aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-14 11:04:56 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-14 11:04:56 -0400
commitee2f4ffdf2f283c33fb7bb488fa88a1d9f2cf6be (patch)
treeda75a35df02e170e6cc2cfd6f02433f82d8e3763 /lib
parent471d135b67086298642e9bd26e0e380a605b7068 (diff)
cselect.onchange
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/basis.urs3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index cc18d7b2..45f36ef8 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -632,7 +632,8 @@ val ctextbox : cformTag [Value = string, Size = int, Source = source string] []
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 *)