Mercurial > urweb

comparison lib/ur/basis.urs @ 799:9330ba3a2799

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cselect.onchange
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 11:04:56 -0400
parents 2c463eee89fa
children 4585f744574a
comparison
equal deleted inserted replaced
798:83875a9eb9b8 799:9330ba3a2799
630 630
631 val ctextbox : cformTag [Value = string, Size = int, Source = source string] [] 631 val ctextbox : cformTag [Value = string, Size = int, Source = source string] []
632 val button : cformTag [Value = string, Onclick = transaction unit] [] 632 val button : cformTag [Value = string, Onclick = transaction unit] []
633 633
634 con cselect = [Cselect] 634 con cselect = [Cselect]
635 val cselect : cformTag [Source = source string] cselect 635 val cselect : cformTag [Source = source string,
636 Onchange = transaction unit] cselect
636 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] [] 637 val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] []
637 638
638 (*** Tables *) 639 (*** Tables *)
639 640
640 val tabl : other ::: {Unit} -> [other ~ [Body, Table]] => 641 val tabl : other ::: {Unit} -> [other ~ [Body, Table]] =>