summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-01-26 08:46:25 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-01-26 08:46:25 -0500
commit47ca09964c4dbd1163793798fe86fc38338df47c (patch)
treebea9c98934bf043ac30f998f268f0d772a68ece7 /lib
parent227c87323603dc0b338e89997d2fce7ffc755fb0 (diff)
<img> has dimensions and needs special HTML handling
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/basis.urs3
1 files changed, 2 insertions, 1 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}