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

style: [CSD] Enable round corners by default by -moz-gtk-csd-transparent-background media query.

Browse source 
Replace mozilla.widget.use-argb-visuals pref by
-moz-gtk-csd-transparent-background media query at browser.css to draw
transparent background. The media query is set by toolkit code and enabled when
compatible window manager is detected.

Differential Revision: https://phabricator.services.mozilla.com/D6658
This commit is contained in:
Martin Stransky 2018-09-25 11:53:04 +00:00 • committed by Emilio Cobos Álvarez
parent 2751df808b
commit 6a1078c551
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
components/style/gecko/media_features.rs
View file

@ -479,7 +479,7 @@ lazy_static! {
/// to support new types in these entries and (2) ensuring that either
/// nsPresContext::MediaFeatureValuesChanged is called when the value that
/// would be returned by the evaluator function could change.
pub static ref MEDIA_FEATURES: [MediaFeatureDescription; 47] = [
pub static ref MEDIA_FEATURES: [MediaFeatureDescription; 48] = [
feature!(
atom!("width"),
AllowsRanges::Yes,
@ -660,6 +660,7 @@ lazy_static! {
system_metric_feature!(atom!("-moz-menubar-drag")),
system_metric_feature!(atom!("-moz-swipe-animation-enabled")),
system_metric_feature!(atom!("-moz-gtk-csd-available")),
system_metric_feature!(atom!("-moz-gtk-csd-transparent-background")),
system_metric_feature!(atom!("-moz-gtk-csd-minimize-button")),
system_metric_feature!(atom!("-moz-gtk-csd-maximize-button")),
system_metric_feature!(atom!("-moz-gtk-csd-close-button")),