diff options
author | Oriol Brufau <obrufau@igalia.com> | 2023-05-27 17:30:04 +0200 |
---|---|---|
committer | Oriol Brufau <obrufau@igalia.com> | 2023-05-31 00:50:31 +0200 |
commit | c204f3a96d03724af6a97c092418bbf7447c1860 (patch) | |
tree | f1ee1046f9799149cf93cd1992956ccd3f995257 /components/style/servo | |
parent | 07e5ea696665076436ce45db6dfffabe8c767666 (diff) | |
download | servo-c204f3a96d03724af6a97c092418bbf7447c1860.tar.gz servo-c204f3a96d03724af6a97c092418bbf7447c1860.zip |
Further changes required by Servo
Diffstat (limited to 'components/style/servo')
-rw-r--r-- | components/style/servo/media_queries.rs | 6 |
1 files changed, 6 insertions, 0 deletions
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 { |