Mercurial > urweb
comparison src/monoize.sml @ 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 | 25d491287358 |
children | 72670131dace |
comparison
equal
deleted
inserted
replaced
1098:c023bc6ab914 | 1099:118ab9641a64 |
---|---|
2983 fm) | 2983 fm) |
2984 end) | 2984 end) |
2985 | 2985 |
2986 | "coption" => normal ("option", NONE, NONE) | 2986 | "coption" => normal ("option", NONE, NONE) |
2987 | 2987 |
2988 | "ctextarea" => | |
2989 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of | |
2990 NONE => | |
2991 let | |
2992 val (ts, fm) = tagStart "textarea" | |
2993 in | |
2994 ((L'.EStrcat (ts, | |
2995 (L'.EPrim (Prim.String " />"), loc)), | |
2996 loc), fm) | |
2997 end | |
2998 | SOME (_, src, _) => | |
2999 let | |
3000 val sc = strcat [str "tbx(exec(", | |
3001 (L'.EJavaScript (L'.Script, src), loc), | |
3002 str "))"] | |
3003 val sc = setAttrs sc | |
3004 in | |
3005 (strcat [str "<script type=\"text/javascript\">", | |
3006 sc, | |
3007 str "</script>"], | |
3008 fm) | |
3009 end) | |
3010 | |
2988 | "tabl" => normal ("table", NONE, NONE) | 3011 | "tabl" => normal ("table", NONE, NONE) |
2989 | _ => normal (tag, NONE, NONE)) | 3012 | _ => normal (tag, NONE, NONE)) |
2990 end | 3013 end |
2991 | 3014 |
2992 | L.EApp ((L.ECApp ( | 3015 | L.EApp ((L.ECApp ( |