From 5c750dcbde7818d043047c55e1248a68fac4214e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 2 Jul 2015 13:02:37 -0400 Subject: Add HTML 'align' attribute --- lib/ur/basis.urs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/ur') diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 2defec9e..19ff9642 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -851,8 +851,8 @@ con scrollEvents = [Onscroll = transaction unit] con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents ++ scrollEvents con tableEvents = focusEvents ++ mouseEvents ++ keyEvents -con boxAttrs = [Data = data_attr, Id = id, Title = string, Role = string] ++ boxEvents -con tableAttrs = [Data = data_attr, Id = id, Title = string] ++ tableEvents +con boxAttrs = [Data = data_attr, Id = id, Title = string, Role = string, Align = string] ++ boxEvents +con tableAttrs = [Data = data_attr, Id = id, Title = string, Align = string] ++ tableEvents val span : bodyTag boxAttrs val div : bodyTag boxAttrs -- cgit v1.2.3