mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
Further changes required by Servo
This commit is contained in:
parent
07e5ea6966
commit
c204f3a96d
2 changed files with 7 additions and 0 deletions
|
@ -1,3 +1,4 @@
|
||||||
|
-moz-gtk-csd-titlebar-radius
|
||||||
DOMContentLoaded
|
DOMContentLoaded
|
||||||
abort
|
abort
|
||||||
activate
|
activate
|
||||||
|
|
|
@ -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.
|
/// Return whether the document is a chrome document.
|
||||||
#[inline]
|
#[inline]
|
||||||
pub fn is_chrome_document(&self) -> bool {
|
pub fn is_chrome_document(&self) -> bool {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue