From 804444d398bd08b098a941522861d8fb47631d90 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 4 Sep 2010 14:12:02 -0400 Subject: Add 'title' attribute --- lib/ur/basis.urs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib') 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 -- cgit v1.2.3