diff lib/ur/basis.urs @ 2119:5439b35c5d0b

Add 'download' attribute to <a/>, part of HTML5
author Sergey Mironov <grrwlf@gmail.com>
date Sun, 26 Oct 2014 14:07:07 +0000
parents f05fcb206571
children e8863d9f8c59
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Feb 14 08:27:50 2015 -0500
+++ b/lib/ur/basis.urs	Sun Oct 26 14:07:07 2014 +0000
@@ -914,7 +914,7 @@
 val wbr : bodyTag boxAttrs
 val bdi : bodyTag boxAttrs
 
-val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string] ++ boxAttrs)
+val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string, Download = string] ++ boxAttrs)
 
 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int,
                     Onabort = transaction unit, Onerror = transaction unit,