From 9e7b8e92022cdb63871a8c4c4c904f2ccff1ee32 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emilio=20Cobos=20=C3=81lvarez?= Date: Tue, 6 Jun 2023 17:31:12 +0200 Subject: [PATCH] style: Don't draw window decorations when painting headerbar on wayland This is a better fix for the double decorations than clipping them using CSS. Differential Revision: https://phabricator.services.mozilla.com/D133871 --- components/style/gecko/media_features.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/components/style/gecko/media_features.rs b/components/style/gecko/media_features.rs index be30e5f0b6f..c80ace2015b 100644 --- a/components/style/gecko/media_features.rs +++ b/components/style/gecko/media_features.rs @@ -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"),