NOTE: The current preferred location for bug reports is the GitHub issue tracker.
Bug 433 - add span attribute to <col> element
add span attribute to <col> element
Classification: Unclassified
Component: HTML5 schema
All All
: P2 normal
Assigned To: Henri Sivonen
Depends on:
  Show dependency treegraph
Reported: 2009-01-09 13:03 CET by Michael[tm] Smith
Modified: 2009-01-15 07:54 CET (History)
0 users

See Also:

patch with proposed change (334 bytes, patch)
2009-01-09 13:05 CET, Michael[tm] Smith

Note You need to log in before you can comment on or make changes to this bug.
Description Michael[tm] Smith 2009-01-09 13:03:02 CET
The current definition of the col.elem pattern does not reference the col.attrs.span pattern. This seems like an oversight, since the col.attrs.span pattern itself is actually defined just after col.elem in tables.rnc. And the HTML5 draft defines span as a valid attribute on col.
Comment 1 Michael[tm] Smith 2009-01-09 13:05:20 CET
Created attachment 55 [details]
patch with proposed change
Comment 2 Michael[tm] Smith 2009-01-15 07:54:32 CET
This has been done (I think in r371)