From c204f3a96d03724af6a97c092418bbf7447c1860 Mon Sep 17 00:00:00 2001 From: Oriol Brufau Date: Sat, 27 May 2023 17:30:04 +0200 Subject: [PATCH] Further changes required by Servo --- components/atoms/static_atoms.txt | 1 + components/style/servo/media_queries.rs | 6 ++++++ 2 files changed, 7 insertions(+) diff --git a/components/atoms/static_atoms.txt b/components/atoms/static_atoms.txt index 8409639055f..5a0cc47ed4f 100644 --- a/components/atoms/static_atoms.txt +++ b/components/atoms/static_atoms.txt @@ -1,3 +1,4 @@ +-moz-gtk-csd-titlebar-radius DOMContentLoaded abort activate diff --git a/components/style/servo/media_queries.rs b/components/style/servo/media_queries.rs index 132e8200164..6ac0cf54505 100644 --- a/components/style/servo/media_queries.rs +++ b/components/style/servo/media_queries.rs @@ -221,6 +221,12 @@ impl Device { } } + /// Returns the gtk titlebar radius in CSS pixels. + /// TODO: implement this method. + pub fn titlebar_radius(&self) -> f32 { + 0.0 + } + /// Return whether the document is a chrome document. #[inline] pub fn is_chrome_document(&self) -> bool {