Mercurial > urweb

diff lib/basis.urs @ 444:f45f23ae20ed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove _espec tag; add some tag fields
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 17:07:34 -0400
parents bd9ee9aeca2f
children 222cbc1da232
line wrap: on
line diff
--- a/lib/basis.urs	Thu Oct 30 16:58:54 2008 -0400
+++ b/lib/basis.urs	Thu Oct 30 17:07:34 2008 -0400
@@ -370,9 +370,9 @@
                   -> fn [[Form] ~ ctx] =>
                         nm :: Name -> unit
                         -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
-val textbox : formTag string [] [Value = string]
-val password : formTag string [] []
-val textarea : formTag string [] []
+val textbox : formTag string [] [Value = string, Size = int]
+val password : formTag string [] [Value = string, Size = int]
+val textarea : formTag string [] [Rows = int, Cols = int]
 
 val checkbox : formTag bool [] [Checked = bool]