mirror of
https://github.com/servo/servo.git
synced 2025-08-03 20:50:07 +01:00
style: Hide -moz-outline-radius behind a pref
This property does nothing since bug 315209 got implemented. Every single user that I checked was doing the same math by hand, so hooray for good defaults :-) Differential Revision: https://phabricator.services.mozilla.com/D112253
This commit is contained in:
parent
90a2687545
commit
7567ddd262
2 changed files with 2 additions and 0 deletions
|
@ -51,6 +51,7 @@ ${helpers.predefined_type(
|
||||||
engines="gecko",
|
engines="gecko",
|
||||||
boxed=True,
|
boxed=True,
|
||||||
animation_value_type="BorderCornerRadius",
|
animation_value_type="BorderCornerRadius",
|
||||||
|
gecko_pref="layout.css.moz-outline-radius.enabled",
|
||||||
spec="Nonstandard (https://developer.mozilla.org/en-US/docs/Web/CSS/-moz-outline-radius)",
|
spec="Nonstandard (https://developer.mozilla.org/en-US/docs/Web/CSS/-moz-outline-radius)",
|
||||||
)}
|
)}
|
||||||
% endfor
|
% endfor
|
||||||
|
|
|
@ -83,6 +83,7 @@
|
||||||
<%helpers:shorthand
|
<%helpers:shorthand
|
||||||
name="-moz-outline-radius"
|
name="-moz-outline-radius"
|
||||||
engines="gecko"
|
engines="gecko"
|
||||||
|
gecko_pref="layout.css.moz-outline-radius.enabled"
|
||||||
sub_properties="${' '.join(
|
sub_properties="${' '.join(
|
||||||
'-moz-outline-radius-%s' % corner
|
'-moz-outline-radius-%s' % corner
|
||||||
for corner in ['topleft', 'topright', 'bottomright', 'bottomleft']
|
for corner in ['topleft', 'topright', 'bottomright', 'bottomleft']
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue