Mercurial > urweb

diff src/monoize.sml @ 646:fb2a0e76dcef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ListEdit demo, minus prose
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 12:44:40 -0400
parents aa2290c32ce2
children bab524996fca
line wrap: on
line diff
--- a/src/monoize.sml	Tue Mar 10 11:18:01 2009 -0400
+++ b/src/monoize.sml	Tue Mar 10 12:44:40 2009 -0400
@@ -1954,9 +1954,9 @@
                                                  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 @@
                                               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)