Mercurial > urweb

comparison lib/ur/basis.urs @ 2060:cbc8bcf30c99

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<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
comparison
equal deleted inserted replaced
2059:44428bbda65c 2060:cbc8bcf30c99
1017 Ontext = transaction unit] ++ boxAttrs) [] 1017 Ontext = transaction unit] ++ boxAttrs) []
1018 val button : cformTag ([Value = string] ++ boxAttrs) [] 1018 val button : cformTag ([Value = string] ++ boxAttrs) []
1019 1019
1020 val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool, Onchange = transaction unit] ++ boxAttrs) [] 1020 val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool, Onchange = transaction unit] ++ boxAttrs) []
1021 1021
1022 con cselect = [Cselect] 1022 val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) [Cselect]
1023 val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) cselect 1023 val coption : unit -> tag [Value = string, Selected = bool] [Cselect, Body] [] [] []
1024 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] []
1025 1024
1026 val ctextarea : cformTag ([Value = string, Rows = int, Cols = int, Source = source string, Onchange = transaction unit, 1025 val ctextarea : cformTag ([Value = string, Rows = int, Cols = int, Source = source string, Onchange = transaction unit,
1027 Ontext = transaction unit] ++ boxAttrs) [] 1026 Ontext = transaction unit] ++ boxAttrs) []
1028 1027
1029 (*** Tables *) 1028 (*** Tables *)