changeset 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 7bdfc365f456
children e3a79066380d
files lib/ur/basis.urs
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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,