Mercurial > urweb
diff lib/ur/basis.urs @ 2060:cbc8bcf30c99
<cselect> and <coption> type fixes (grandfathered into release)
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 19 Aug 2014 11:17:39 -0400 |
| parents | f4a6ccb7937f |
| children | 795b5b75453c |
line wrap: on
line diff
--- a/lib/ur/basis.urs Tue Aug 19 11:08:25 2014 -0400 +++ b/lib/ur/basis.urs Tue Aug 19 11:17:39 2014 -0400 @@ -1019,9 +1019,8 @@ val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool, Onchange = transaction unit] ++ boxAttrs) [] -con cselect = [Cselect] -val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) cselect -val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] [] +val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) [Cselect] +val coption : unit -> tag [Value = string, Selected = bool] [Cselect, Body] [] [] [] val ctextarea : cformTag ([Value = string, Rows = int, Cols = int, Source = source string, Onchange = transaction unit, Ontext = transaction unit] ++ boxAttrs) []