mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
Further changes required by Servo
This commit is contained in:
parent
1a3b32a248
commit
e0e5a22614
2 changed files with 7 additions and 0 deletions
|
@ -125,6 +125,7 @@ safe-area-inset-right
|
||||||
scan
|
scan
|
||||||
screen
|
screen
|
||||||
scroll-position
|
scroll-position
|
||||||
|
scrollbar-inline-size
|
||||||
search
|
search
|
||||||
seeked
|
seeked
|
||||||
seeking
|
seeking
|
||||||
|
|
|
@ -164,6 +164,12 @@ impl Device {
|
||||||
self.device_pixel_ratio
|
self.device_pixel_ratio
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Gets the size of the scrollbar in CSS pixels.
|
||||||
|
pub fn scrollbar_inline_size(&self) -> CSSPixelLength {
|
||||||
|
// TODO: implement this.
|
||||||
|
CSSPixelLength::new(0.0)
|
||||||
|
}
|
||||||
|
|
||||||
/// Queries dummy font metrics for Servo. Knows nothing about fonts and does not provide
|
/// Queries dummy font metrics for Servo. Knows nothing about fonts and does not provide
|
||||||
/// any metrics.
|
/// any metrics.
|
||||||
/// TODO: Servo's font metrics provider will probably not live in this crate, so this will
|
/// TODO: Servo's font metrics provider will probably not live in this crate, so this will
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue