comparison lib/ur/basis.urs @ 1099:118ab9641a64

ctextarea; s/header/include in the manual
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Dec 2009 13:34:03 -0500
parents ae885ad70d83
children 72670131dace
comparison
equal deleted inserted replaced
1098:c023bc6ab914 1099:118ab9641a64
732 732
733 con cselect = [Cselect] 733 con cselect = [Cselect]
734 val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) cselect 734 val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) cselect
735 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] [] 735 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] []
736 736
737 val ctextarea : cformTag ([Value = string, Rows = int, Cols = int, Source = source string, Onchange = transaction unit,
738 Ontext = transaction unit] ++ boxAttrs) []
739
737 (*** Tables *) 740 (*** Tables *)
738 741
739 val tabl : other ::: {Unit} -> [other ~ [Body, Table]] => unit 742 val tabl : other ::: {Unit} -> [other ~ [Body, Table]] => unit
740 -> tag ([Border = int] ++ boxAttrs) 743 -> tag ([Border = int] ++ boxAttrs)
741 ([Body] ++ other) ([Body, Table] ++ other) [] [] 744 ([Body] ++ other) ([Body, Table] ++ other) [] []