mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
Rename BorderRadiusSize to BorderCornerSize
This commit is contained in:
parent
af3ede418b
commit
862fc4f88d
12 changed files with 45 additions and 45 deletions
|
@ -108,7 +108,7 @@ ${helpers.predefined_type("outline-color", "CSSColor", "computed::CSSColor::Curr
|
|||
// The -moz-outline-radius-* properties are non-standard and not on a standards track.
|
||||
// TODO: Should they animate?
|
||||
% for corner in ["topleft", "topright", "bottomright", "bottomleft"]:
|
||||
${helpers.predefined_type("-moz-outline-radius-" + corner, "BorderRadiusSize",
|
||||
${helpers.predefined_type("-moz-outline-radius-" + corner, "BorderCornerRadius",
|
||||
"computed::LengthOrPercentage::zero().into()",
|
||||
products="gecko",
|
||||
boxed=True,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue