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

style: Don't draw window decorations when painting headerbar on wayland

Browse source 
This is a better fix for the double decorations than clipping them using
CSS.

Differential Revision: https://phabricator.services.mozilla.com/D133871
This commit is contained in:
Emilio Cobos Álvarez 2023-06-06 17:31:12 +02:00 • committed by Oriol Brufau
parent 98b49f8023
commit 9e7b8e9202
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -652,7 +652,7 @@ macro_rules! bool_pref_feature {
/// 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 MEDIA_FEATURES: [MediaFeatureDescription; 58] = [
pub static MEDIA_FEATURES: [MediaFeatureDescription; 57] = [
feature!(
atom!("width"),
AllowsRanges::Yes,
@ -919,7 +919,6 @@ pub static MEDIA_FEATURES: [MediaFeatureDescription; 58] = [
atom!("-moz-gtk-csd-reversed-placement"),
GTKCSDReversedPlacement
),
lnf_int_feature!(atom!("-moz-gtk-wayland"), GTKWayland),
lnf_int_feature!(atom!("-moz-system-dark-theme"), SystemUsesDarkTheme),
bool_pref_feature!(
atom!("-moz-proton-places-tooltip"),