diff options
Diffstat (limited to 'components/style/servo/media_queries.rs')
| -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 { |