comparison lib/ur/basis.urs @ 1291:be6e2cd8d9a9

Add 'title' attribute
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Sep 2010 14:12:02 -0400
parents 6791454653c5
children a671c986f517
comparison
equal deleted inserted replaced
1290:6791454653c5 1291:be6e2cd8d9a9
650 con resizeEvents = [Onresize = transaction unit] 650 con resizeEvents = [Onresize = transaction unit]
651 651
652 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents 652 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents
653 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents 653 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents
654 654
655 con boxAttrs = [Id = string] ++ boxEvents 655 con boxAttrs = [Id = string, Title = string] ++ boxEvents
656 con tableAttrs = [Id = string] ++ tableEvents 656 con tableAttrs = [Id = string, Title = string] ++ tableEvents
657 657
658 val span : bodyTag boxAttrs 658 val span : bodyTag boxAttrs
659 val div : bodyTag boxAttrs 659 val div : bodyTag boxAttrs
660 660
661 val p : bodyTag boxAttrs 661 val p : bodyTag boxAttrs