Mercurial > urweb

diff lib/ur/basis.urs @ 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 32710de7227b
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}