diff options
author | Adam Chlipala <adam@chlipala.net> | 2018-06-04 11:51:00 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2018-06-04 11:51:00 -0400 |
commit | e626ef35ebd7d79a820ead03a8d30d5ee090671c (patch) | |
tree | 1f1a2129eff0d6e99f18ec96707720ce30d411ef /lib/ur/basis.urs | |
parent | c68da19be2a3fab584973c4a9d0a93035a6d9116 (diff) | |
parent | 71dab68defc48d9be9d1e45e63925d0fb01ebb34 (diff) |
Merge branch 'master' of ssh://github.com/urweb/urweb
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r-- | lib/ur/basis.urs | 5 |
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 *) |