Mercurial > urweb

diff lib/basis.urs @ 598:4c2c740c6931

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hooking a source into an input
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Jan 2009 10:05:06 -0500
parents 9f02f1765149
children 7c3c21eb5b4c
line wrap: on
line diff
--- a/lib/basis.urs	Thu Jan 08 10:30:14 2009 -0500
+++ b/lib/basis.urs	Sun Jan 11 10:05:06 2009 -0500
@@ -423,7 +423,7 @@
                   -> fn [[Form] ~ ctx] =>
                         nm :: Name -> unit
                         -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
-val textbox : formTag string [] [Value = string, Size = int]
+val textbox : formTag string [] [Value = string, Size = int, Source = source string]
 val password : formTag string [] [Value = string, Size = int]
 val textarea : formTag string [] [Rows = int, Cols = int]