Mercurial > urweb

diff src/monoize.sml @ 190:3eb53c957d10

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Checkboxes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Aug 2008 13:09:26 -0400
parents 8e9f97508f0d
children 9bbf4d383381
line wrap: on
line diff
--- a/src/monoize.sml	Sun Aug 03 19:52:37 2008 -0400
+++ b/src/monoize.sml	Thu Aug 07 13:09:26 2008 -0400
@@ -519,6 +519,8 @@
                        | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
                                raise Fail "No name passed to ltextarea tag"))
 
+                  | "checkbox" => input "checkbox"
+
                   | "radio" =>
                     (case targs of
                          [_, (L.CName name, _)] =>