mirror of
https://github.com/servo/servo.git
synced 2025-08-04 13:10:20 +01:00
Update webrender
This commit is contained in:
parent
482923cec2
commit
5413328be2
20 changed files with 138 additions and 122 deletions
|
@ -54,7 +54,7 @@ use style_traits::cursor::CursorKind;
|
|||
use style_traits::CSSPixel;
|
||||
use style_traits::SpeculativePainter;
|
||||
use webrender_api::{
|
||||
DevicePixel, DeviceUintSize, DocumentId, ExternalScrollId, ImageKey, RenderApiSender,
|
||||
DeviceIntSize, DevicePixel, DocumentId, ExternalScrollId, ImageKey, RenderApiSender,
|
||||
};
|
||||
use webvr_traits::{WebVREvent, WebVRMsg};
|
||||
|
||||
|
@ -701,7 +701,7 @@ pub enum WebDriverCommandMsg {
|
|||
/// Set the window size.
|
||||
SetWindowSize(
|
||||
TopLevelBrowsingContextId,
|
||||
DeviceUintSize,
|
||||
DeviceIntSize,
|
||||
IpcSender<WindowSizeData>,
|
||||
),
|
||||
/// Take a screenshot of the window.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue