Hi. Please, consider applying the following small patch! It enables the HTML5 attribute, allowing to set default file name to be downloaded. Note, that HTML4 version of <a> seems to also have this attribute of type Bool with different meaning. Here is the details
http://www.w3schools.com/tags/att_a_download.asp Regards, Sergey
# HG changeset patch # User Sergey Mironov <[email protected]> # Date 1414332427 0 # Sun Oct 26 14:07:07 2014 +0000 # Node ID 21d7ef4fd6d36ec5bd32a8d36c523706df1f92cb # Parent 7bdfc365f45601b5bca4985b74f6a4f57103e4f8 Add 'download' attribute to <a/>, part of HTML5 diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -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,
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
