From 9e95b046737ab2da8117eb273f6bb50cca7d43dc Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 29 Dec 2009 13:34:03 -0500
Subject: ctextarea; s/header/include in the manual

---
 src/monoize.sml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

(limited to 'src')

diff --git a/src/monoize.sml b/src/monoize.sml
index e9d90ecc..0f03111c 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -2985,6 +2985,29 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
 
                    | "coption" => normal ("option", NONE, NONE)
 
+                   | "ctextarea" =>
+                     (case List.find (fn ("Source", _, _) => true | _ => false) attrs of
+                          NONE =>
+                          let
+                              val (ts, fm) = tagStart "textarea"
+                          in
+                              ((L'.EStrcat (ts,
+                                            (L'.EPrim (Prim.String " />"), loc)),
+                                loc), fm)
+                          end
+                        | SOME (_, src, _) =>
+                          let
+                              val sc = strcat [str "tbx(exec(",
+                                               (L'.EJavaScript (L'.Script, src), loc),
+                                               str "))"]
+                              val sc = setAttrs sc
+                          in
+                              (strcat [str "<script type=\"text/javascript\">",
+                                       sc,
+                                       str "</script>"],
+                               fm)
+                          end)
+
                    | "tabl" => normal ("table", NONE, NONE)
                    | _ => normal (tag, NONE, NONE))
             end
-- 
cgit v1.2.3