changeset 1291:be6e2cd8d9a9

Add 'title' attribute
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Sep 2010 14:12:02 -0400
parents 6791454653c5
children a671c986f517
files lib/ur/basis.urs
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Aug 22 19:45:07 2010 -0400
+++ b/lib/ur/basis.urs	Sat Sep 04 14:12:02 2010 -0400
@@ -652,8 +652,8 @@
 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