From 47ca09964c4dbd1163793798fe86fc38338df47c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 26 Jan 2010 08:46:25 -0500
Subject: <img> has dimensions and needs special HTML handling

---
 lib/ur/basis.urs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib')

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}
-- 
cgit v1.2.3