summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-07-02 13:02:37 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2015-07-02 13:02:37 -0400
commit5c750dcbde7818d043047c55e1248a68fac4214e (patch)
treebe0747d31b671b0ec30bb1edf48127dead74b4aa
parentafc300a29b7e4cd868858ef5bcf9d0f9829f4b8a (diff)
Add HTML 'align' attribute
-rw-r--r--lib/ur/basis.urs4
-rw-r--r--tests/align.ur4
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>