diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-01-26 08:46:25 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-26 08:46:25 -0500 |
| commit | 47ca09964c4dbd1163793798fe86fc38338df47c (patch) | |
| tree | bea9c98934bf043ac30f998f268f0d772a68ece7 | |
| parent | 227c87323603dc0b338e89997d2fce7ffc755fb0 (diff) | |
<img> has dimensions and needs special HTML handling
| -rw-r--r-- | lib/ur/basis.urs | 3 | ||||
| -rw-r--r-- | src/monoize.sml | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index ea50b0b3..fe7119a4 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -654,7 +654,8 @@ val hr : bodyTag boxAttrs 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} diff --git a/src/monoize.sml b/src/monoize.sml index bda6cfe4..cc239632 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -47,7 +47,8 @@ val singletons = SS.addList (SS.empty, "p", "hr", "input", - "button"]) + "button", + "img"]) val dummyTyp = (L'.TDatatype (0, ref (L'.Enum, [])), E.dummySpan) |