mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Implement <hr> element 'width' attribute
This commit is contained in:
parent
337066063a
commit
02a8e8dd16
8 changed files with 66 additions and 137 deletions
|
@ -14,5 +14,5 @@ partial interface HTMLHRElement {
|
|||
attribute DOMString color;
|
||||
// attribute boolean noShade;
|
||||
// attribute DOMString size;
|
||||
// attribute DOMString width;
|
||||
attribute DOMString width;
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue