mirror of
https://github.com/servo/servo.git
synced 2025-08-13 01:15:34 +01:00
Rename BorderImageWidthSide to BorderImageSideWidth
This commit is contained in:
parent
7da94d0880
commit
e58f541951
7 changed files with 27 additions and 27 deletions
|
@ -289,8 +289,8 @@ ${helpers.predefined_type("border-image-outset", "LengthOrNumberRect",
|
|||
</%helpers:longhand>
|
||||
|
||||
${helpers.predefined_type("border-image-width", "BorderImageWidth",
|
||||
initial_value="computed::BorderImageWidthSide::one().into()",
|
||||
initial_specified_value="specified::BorderImageWidthSide::one().into()",
|
||||
initial_value="computed::BorderImageSideWidth::one().into()",
|
||||
initial_specified_value="specified::BorderImageSideWidth::one().into()",
|
||||
spec="https://drafts.csswg.org/css-backgrounds/#border-image-width",
|
||||
animation_value_type="none",
|
||||
boxed=True)}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue