Mercurial > urweb

changeset 1129:4f3a1aa3b66d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<img> has dimensions and needs special HTML handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 Jan 2010 08:46:25 -0500
parents e1cf925e2074
children 67d875c8ac71
files lib/ur/basis.urs src/monoize.sml
diffstat 2 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lib/ur/basis.urs	Tue Jan 12 16:09:13 2010 -0500
+++ b/lib/ur/basis.urs	Tue Jan 26 08:46:25 2010 -0500
@@ -654,7 +654,8 @@
 
 val a : bodyTag ([Link = transaction page, Href = url] ++ boxAttrs)
 
-val img : bodyTag ([Src = url, Onabort = transaction unit, Onerror = transaction unit,
+val img : bodyTag ([Src = url, Width = int, Height = int,
+                    Onabort = transaction unit, Onerror = transaction unit,
                     Onload = transaction unit] ++ boxAttrs)
           
 val form : ctx ::: {Unit} -> bind ::: {Type}
--- a/src/monoize.sml	Tue Jan 12 16:09:13 2010 -0500
+++ b/src/monoize.sml	Tue Jan 26 08:46:25 2010 -0500
@@ -47,7 +47,8 @@
                               "p",
                               "hr",
                               "input",
-                              "button"])
+                              "button",
+                              "img"])
 
 val dummyTyp = (L'.TDatatype (0, ref (L'.Enum, [])), E.dummySpan)