Mercurial > urweb
diff lib/ur/basis.urs @ 2078:6d126af2e1cb
Some more HTML5 input types
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 16 Nov 2014 14:39:38 -0500 |
| parents | 3cd2bd4b1de0 |
| children | e1879ded8095 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sun Nov 16 14:16:11 2014 -0500 +++ b/lib/ur/basis.urs Sun Nov 16 14:39:38 2014 -0500 @@ -969,6 +969,17 @@ val search : textWidget val url_ : textWidget val tel : textWidget +val color : textWidget + +val number : formTag float [] ([Value = float, Min = float, Max = float, Step = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) +val range : formTag float [] ([Value = float, Min = float, Max = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) +val date : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) +val datetime : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) +val datetime_local : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) +val month : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) +val week : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) +val timeInput : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) + type file