From 40b7d87bbbd7731f19f01300066192879ee1e67f Mon Sep 17 00:00:00 2001
From: Oriol Brufau <obrufau@igalia.com>
Date: Sat, 27 May 2023 17:39:58 +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 5a0cc47ed4f..2d0ef951067 100644
--- a/components/atoms/static_atoms.txt
+++ b/components/atoms/static_atoms.txt
@@ -1,4 +1,5 @@
 -moz-gtk-csd-titlebar-radius
+-moz-gtk-menu-radius
 DOMContentLoaded
 abort
 activate
diff --git a/components/style/servo/media_queries.rs b/components/style/servo/media_queries.rs
index 6ac0cf54505..62a0729a8e5 100644
--- a/components/style/servo/media_queries.rs
+++ b/components/style/servo/media_queries.rs
@@ -227,6 +227,12 @@ impl Device {
         0.0
     }
 
+    /// Returns the gtk menu radius in CSS pixels.
+    /// TODO: implement this method.
+    pub fn menu_radius(&self) -> f32 {
+        0.0
+    }
+
     /// Return whether the document is a chrome document.
     #[inline]
     pub fn is_chrome_document(&self) -> bool {