From e2bfa72019653e309b7cdc3cf4ce4e6153712b1b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 10 Mar 2009 12:44:40 -0400
Subject: ListEdit demo, minus prose

---
 src/monoize.sml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/monoize.sml')

diff --git a/src/monoize.sml b/src/monoize.sml
index 57bf26e3..131bdf67 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -1954,9 +1954,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
                                                  loc)), loc), fm)
                               end
                             | SOME (_, src, _) =>
-                              (strcat [str "<script type=\"text/javascript\">inp(\"input\",",
+                              (strcat [str "<span><script type=\"text/javascript\">inp(\"input\",",
                                        (L'.EJavaScript (L'.Script, src, NONE), loc),
-                                       str ")</script>"],
+                                       str ")</script></span>"],
                                fm))
                        | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
                                raise Fail "No name passed to textbox tag"))
@@ -2030,9 +2030,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
                                               str ")"]
                              val sc = setAttrs sc
                          in
-                             (strcat [str "<script type=\"text/javascript\">",
+                             (strcat [str "<span><script type=\"text/javascript\">",
                                       sc,
-                                      str "</script>"],
+                                      str "</script></span>"],
                               fm)
                          end)
 
-- 
cgit v1.2.3