mirror of
https://github.com/servo/servo.git
synced 2025-08-04 13:10:20 +01:00
style: Remove layout.css.prefixes.device-pixel-ratio-webkit.
There's no effort to disable it any time soon, so I don't think it's useful to keep the pref around. Differential Revision: https://phabricator.services.mozilla.com/D49507
This commit is contained in:
parent
b98ac61a70
commit
70dda74b0f
1 changed files with 0 additions and 3 deletions
|
@ -243,9 +243,6 @@ fn consume_operation_or_colon(input: &mut Parser) -> Result<Option<Operator>, ()
|
||||||
}
|
}
|
||||||
|
|
||||||
fn disabled_by_pref(feature: &Atom) -> bool {
|
fn disabled_by_pref(feature: &Atom) -> bool {
|
||||||
if *feature == atom!("device-pixel-ratio") {
|
|
||||||
return !static_prefs::pref!("layout.css.prefixes.device-pixel-ratio-webkit");
|
|
||||||
}
|
|
||||||
if *feature == atom!("-moz-touch-enabled") {
|
if *feature == atom!("-moz-touch-enabled") {
|
||||||
return !static_prefs::pref!("layout.css.moz-touch-enabled.enabled")
|
return !static_prefs::pref!("layout.css.moz-touch-enabled.enabled")
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue