mirror of
https://github.com/servo/servo.git
synced 2025-08-08 06:55:31 +01:00
Make -moz-outline-radius-{*} animatable.
This commit is contained in:
parent
e517d21de8
commit
5c915bd4ae
2 changed files with 4 additions and 4 deletions
|
@ -70,13 +70,12 @@ ${helpers.predefined_type("outline-width",
|
|||
spec="https://drafts.csswg.org/css-ui/#propdef-outline-width")}
|
||||
|
||||
// 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, "BorderCornerRadius",
|
||||
"computed::LengthOrPercentage::zero().into()",
|
||||
products="gecko",
|
||||
boxed=True,
|
||||
animation_value_type="none",
|
||||
animation_value_type="ComputedValue",
|
||||
spec="Nonstandard (https://developer.mozilla.org/en-US/docs/Web/CSS/-moz-outline-radius)")}
|
||||
% endfor
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue