[webkit-reviews] review requested: [Bug 26523] <col> elements width can't be changed with javascript : [Attachment 31689] Patch

[bugzilla-daemon at webkit.org]

Beth Dakin <bdakin at apple.com> has asked  for review:
Bug 26523: <col> elements width can't be changed with javascript
https://bugs.webkit.org/show_bug.cgi?id=26523

Attachment 31689: Patch
https://bugs.webkit.org/attachment.cgi?id=31689&action=review

------- Additional Comments from Beth Dakin <bdakin at apple.com>
Here is a patch that dirties the pref widths of the table whenever an
HTMLColElement's width attribute is changed. This patch is not the best ever,
because it means that col.style.width is still broken.