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

Honour system titlebar button left/right placement.

Browse source 
Differential Revision: https://phabricator.services.mozilla.com/D16466
This commit is contained in:
Martin Stransky 2019-01-18 13:52:29 +00:00 • committed by Emilio Cobos Álvarez
parent c40839a24f
commit e27c15e2f9
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

@ -526,7 +526,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; 51] = [
pub static ref MEDIA_FEATURES: [MediaFeatureDescription; 52] = [
feature!(
atom!("width"),
AllowsRanges::Yes,
@ -724,6 +724,7 @@ lazy_static! {
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")),
system_metric_feature!(atom!("-moz-gtk-csd-reversed-placement")),
system_metric_feature!(atom!("-moz-system-dark-theme")),
// This is the only system-metric media feature that's accessible to
// content as of today.