aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2018-06-04 11:51:00 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2018-06-04 11:51:00 -0400
commite626ef35ebd7d79a820ead03a8d30d5ee090671c (patch)
tree1f1a2129eff0d6e99f18ec96707720ce30d411ef /lib/ur/basis.urs
parentc68da19be2a3fab584973c4a9d0a93035a6d9116 (diff)
parent71dab68defc48d9be9d1e45e63925d0fb01ebb34 (diff)
Merge branch 'master' of ssh://github.com/urweb/urweb
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs5
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index dc1b9b76..66cc0e50 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -1081,10 +1081,13 @@ val button : cformTag ([Value = string, Disabled = bool] ++ boxAttrs) []
val ccheckbox : cformTag ([Size = int, Source = source bool] ++ boxAttrs ++ inputAttrs') []
+val cradio : cformTag ([Source = source (option string), Value = string] ++ boxAttrs ++ inputAttrs') []
+
val cselect : cformTag ([Source = source string] ++ boxAttrs ++ inputAttrs') [Cselect]
val coption : unit -> tag [Value = string, Selected = bool] [Cselect, Body] [] [] []
-val ctextarea : cformTag ([Rows = int, Cols = int, Placeholder = string, Source = source string] ++ boxAttrs ++ inputAttrs) []
+val ctextarea : cformTag ([Rows = int, Cols = int, Placeholder = string, Source = source string,
+ Ontext = transaction unit] ++ boxAttrs ++ inputAttrs) []
(*** Tables *)