diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-09-04 14:12:02 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-09-04 14:12:02 -0400 |
| commit | c5613bf00fd7c8d57cc96d7fb699ffa8098df454 (patch) | |
| tree | 6596967e3b70aec3303de2fb7a1cd428fec523da | |
| parent | e13c31dcce3028040ba6df699e3410dc78793c30 (diff) | |
Add 'title' attribute
| -rw-r--r-- | lib/ur/basis.urs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |