comparison lib/ur/basis.urs @ 1710:540df112ff62

Remove string-valued style attribute, which may allow injection attacks
author Adam Chlipala <adam@chlipala.net>
date Sun, 15 Apr 2012 12:40:53 -0400
parents 4600cc5e335c
children f9e5a8e09cdf
comparison
equal deleted inserted replaced
1709:4600cc5e335c 1710:540df112ff62
741 con scrollEvents = [Onscroll = transaction unit] 741 con scrollEvents = [Onscroll = transaction unit]
742 742
743 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents ++ scrollEvents 743 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents ++ scrollEvents
744 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents 744 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents
745 745
746 con boxAttrs = [Id = id, Title = string, Style = string] ++ boxEvents 746 con boxAttrs = [Id = id, Title = string] ++ boxEvents
747 con tableAttrs = [Id = id, Title = string] ++ tableEvents 747 con tableAttrs = [Id = id, Title = string] ++ tableEvents
748 748
749 val span : bodyTag boxAttrs 749 val span : bodyTag boxAttrs
750 val div : bodyTag boxAttrs 750 val div : bodyTag boxAttrs
751 751