# HG changeset patch # User Adam Chlipala # Date 1435856557 14400 # Node ID 9c8016d999693072a7ed7be6e1e781d99d47eb42 # Parent d857da05f042f1bd29b4ca4fe4f1fdef319cc3c8 Add HTML 'align' attribute diff -r d857da05f042 -r 9c8016d99969 lib/ur/basis.urs --- a/lib/ur/basis.urs Thu Jul 02 12:42:49 2015 -0400 +++ b/lib/ur/basis.urs Thu Jul 02 13:02:37 2015 -0400 @@ -851,8 +851,8 @@ 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 diff -r d857da05f042 -r 9c8016d99969 tests/align.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/align.ur Thu Jul 02 13:02:37 2015 -0400 @@ -0,0 +1,4 @@ +fun main () : transaction page = return +

Left

Right