Mercurial > urweb

comparison src/monoize.sml @ 817:4585f744574a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ccheckbox
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 May 2009 10:34:56 -0400
parents 26e911ee924c
children 066493f7f008
comparison
equal deleted inserted replaced
816:26e911ee924c 817:4585f744574a
2646 sc, 2646 sc,
2647 str "</script></span>"], 2647 str "</script></span>"],
2648 fm) 2648 fm)
2649 end) 2649 end)
2650 2650
2651 | "ccheckbox" =>
2652 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of
2653 NONE =>
2654 let
2655 val (ts, fm) = tagStart "input type=\"checkbox\""
2656 in
2657 ((L'.EStrcat (ts,
2658 (L'.EPrim (Prim.String " />"), loc)),
2659 loc), fm)
2660 end
2661 | SOME (_, src, _) =>
2662 let
2663 val sc = strcat [str "chk(",
2664 (L'.EJavaScript (L'.Script, src), loc),
2665 str ")"]
2666 val sc = setAttrs sc
2667 in
2668 (strcat [str "<span><script type=\"text/javascript\">",
2669 sc,
2670 str "</script></span>"],
2671 fm)
2672 end)
2673
2651 | "cselect" => 2674 | "cselect" =>
2652 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of 2675 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of
2653 NONE => 2676 NONE =>
2654 let 2677 let
2655 val (ts, fm) = tagStart "select" 2678 val (ts, fm) = tagStart "select"