diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2018-06-04 09:58:50 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-04 09:58:50 -0400 |
commit | ea85b40d3a89447dcc65696cb1bb65bcf8806869 (patch) | |
tree | 92ba987f00bcf063155bab5160eab3ed17df1563 /lib/ur/basis.urs | |
parent | 50010c982776ae62233f577f74a8e92e02c5b190 (diff) | |
parent | 4bf7bfd52e5e822b05665b1872a2cfd31417486d (diff) |
Merge pull request #127 from ashalkhakov/cradio
Adding: cradio (support for client-side radio box).
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 *) |