diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-29 13:34:03 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-29 13:34:03 -0500 |
| commit | d662dfd8d76d24b5ecbbff9503c84e908c538301 (patch) | |
| tree | 93b8b53446f1bc27c7e471e78b89af67a2c4fcf2 /lib/ur | |
| parent | addaa90f75a4901481fb0f0f5890fff7e85e94db (diff) | |
ctextarea; s/header/include in the manual
Diffstat (limited to 'lib/ur')
| -rw-r--r-- | lib/ur/basis.urs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 02ac0126..ffce96c0 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -734,6 +734,9 @@ con cselect = [Cselect] val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) cselect val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] [] +val ctextarea : cformTag ([Value = string, Rows = int, Cols = int, Source = source string, Onchange = transaction unit, + Ontext = transaction unit] ++ boxAttrs) [] + (*** Tables *) val tabl : other ::: {Unit} -> [other ~ [Body, Table]] => unit |