# HG changeset patch
# User Sergey Mironov <grrwlf@gmail.com>
# Date 1404713104 -14400
# Node ID 795b5b75453c79a13e1b334331cf1ae40b1d6ab2
# Parent  e7b9002c2bfcd76089afc682edb328df6dc4fbef
Add 'role' data attribute.

Note, that 'role' attribute is a part of reach ARIA API described here:
http://www.w3.org/TR/wai-aria/

Among 'role', it defines lots of aria-* attributes

diff -r e7b9002c2bfc -r 795b5b75453c lib/ur/basis.urs
--- a/lib/ur/basis.urs	Tue Aug 19 11:23:26 2014 -0400
+++ b/lib/ur/basis.urs	Mon Jul 07 10:05:04 2014 +0400
@@ -848,7 +848,7 @@
 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents ++ scrollEvents
 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents
 
-con boxAttrs = [Data = data_attr, Id = id, Title = string] ++ boxEvents
+con boxAttrs = [Data = data_attr, Id = id, Title = string, Role = string] ++ boxEvents
 con tableAttrs = [Data = data_attr, Id = id, Title = string] ++ tableEvents
 
 val span : bodyTag boxAttrs