Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-23 08:34:42 +01:00
Code Issues Projects Releases Packages Wiki Activity

Handle device-pixel-ratio-webkit pref correctly.

Browse source
This commit is contained in:
Xidorn Quan 2017-07-31 14:06:04 +10:00
parent d34d662b82
commit a59fceeefc
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
components/style/gecko/media_queries.rs
View file

@ -490,10 +490,13 @@ impl Expression {
let result = { let result = {
let mut feature_name = &**ident; let mut feature_name = &**ident;
// TODO(emilio): this is under a pref in Gecko. if unsafe { structs::StylePrefs_sWebkitPrefixedAliasesEnabled } &&
if starts_with_ignore_ascii_case(feature_name, "-webkit-") { starts_with_ignore_ascii_case(feature_name, "-webkit-") {
feature_name = &feature_name[8..]; feature_name = &feature_name[8..];
flags |= nsMediaFeature_RequirementFlags::eHasWebkitPrefix as u8; flags |= nsMediaFeature_RequirementFlags::eHasWebkitPrefix as u8;
if unsafe { structs::StylePrefs_sWebkitDevicePixelRatioEnabled } {
flags |= nsMediaFeature_RequirementFlags::eWebkitDevicePixelRatioPrefEnabled as u8;
}
} }
let range = if starts_with_ignore_ascii_case(feature_name, "min-") { let range = if starts_with_ignore_ascii_case(feature_name, "min-") {