summaryrefslogtreecommitdiff
path: root/lib/ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-09-04 14:12:02 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-09-04 14:12:02 -0400
commit804444d398bd08b098a941522861d8fb47631d90 (patch)
tree6596967e3b70aec3303de2fb7a1cd428fec523da /lib/ur
parent746a9d987a0bfe2b3a4d8cd7c7bb4ace819beb2e (diff)
Add 'title' attribute
Diffstat (limited to 'lib/ur')
-rw-r--r--lib/ur/basis.urs4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 5ed616a0..83608d8b 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -652,8 +652,8 @@ con resizeEvents = [Onresize = transaction unit]
con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents
con tableEvents = focusEvents ++ mouseEvents ++ keyEvents
-con boxAttrs = [Id = string] ++ boxEvents
-con tableAttrs = [Id = string] ++ tableEvents
+con boxAttrs = [Id = string, Title = string] ++ boxEvents
+con tableAttrs = [Id = string, Title = string] ++ tableEvents
val span : bodyTag boxAttrs
val div : bodyTag boxAttrs