# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1283623922 14400
# Node ID be6e2cd8d9a919a6cb2e0699e1a8302c0d378505
# Parent  6791454653c55afab3475672e2b382fcaec053ff
Add 'title' attribute

diff -r 6791454653c5 -r be6e2cd8d9a9 lib/ur/basis.urs
--- 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