diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-07-02 13:02:37 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-07-02 13:02:37 -0400 |
| commit | 5c750dcbde7818d043047c55e1248a68fac4214e (patch) | |
| tree | be0747d31b671b0ec30bb1edf48127dead74b4aa | |
| parent | afc300a29b7e4cd868858ef5bcf9d0f9829f4b8a (diff) | |
Add HTML 'align' attribute
| -rw-r--r-- | lib/ur/basis.urs | 4 | ||||
| -rw-r--r-- | tests/align.ur | 4 |
2 files changed, 6 insertions, 2 deletions
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 diff --git a/tests/align.ur b/tests/align.ur new file mode 100644 index 00000000..7d6664da --- /dev/null +++ b/tests/align.ur @@ -0,0 +1,4 @@ +fun main () : transaction page = return <xml><body> + <p align="left">Left</p> + <p align="right">Right</p> +</body></xml> |