comparison 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
comparison
equal deleted inserted replaced
2118:7bdfc365f456 2119:5439b35c5d0b
912 val summary : bodyTag boxAttrs 912 val summary : bodyTag boxAttrs
913 val time : bodyTag boxAttrs 913 val time : bodyTag boxAttrs
914 val wbr : bodyTag boxAttrs 914 val wbr : bodyTag boxAttrs
915 val bdi : bodyTag boxAttrs 915 val bdi : bodyTag boxAttrs
916 916
917 val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string] ++ boxAttrs) 917 val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string, Download = string] ++ boxAttrs)
918 918
919 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int, 919 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int,
920 Onabort = transaction unit, Onerror = transaction unit, 920 Onabort = transaction unit, Onerror = transaction unit,
921 Onload = transaction unit] ++ boxAttrs) 921 Onload = transaction unit] ++ boxAttrs)
922 922