comparison lib/ur/basis.urs @ 2157:9c8016d99969

Add HTML 'align' attribute
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Jul 2015 13:02:37 -0400
parents d857da05f042
children 598a5f781d39
comparison
equal deleted inserted replaced
2156:d857da05f042 2157:9c8016d99969
849 con scrollEvents = [Onscroll = transaction unit] 849 con scrollEvents = [Onscroll = transaction unit]
850 850
851 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents ++ scrollEvents 851 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents ++ scrollEvents
852 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents 852 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents
853 853
854 con boxAttrs = [Data = data_attr, Id = id, Title = string, Role = string] ++ boxEvents 854 con boxAttrs = [Data = data_attr, Id = id, Title = string, Role = string, Align = string] ++ boxEvents
855 con tableAttrs = [Data = data_attr, Id = id, Title = string] ++ tableEvents 855 con tableAttrs = [Data = data_attr, Id = id, Title = string, Align = string] ++ tableEvents
856 856
857 val span : bodyTag boxAttrs 857 val span : bodyTag boxAttrs
858 val div : bodyTag boxAttrs 858 val div : bodyTag boxAttrs
859 859
860 val p : bodyTag boxAttrs 860 val p : bodyTag boxAttrs