mirror of
https://github.com/servo/servo.git
synced 2025-07-23 07:13:52 +01:00
WR multi-document update
This commit is contained in:
parent
8db39f8fde
commit
101c426eb7
14 changed files with 119 additions and 86 deletions
|
@ -66,10 +66,8 @@ use std::fmt;
|
|||
use std::sync::Arc;
|
||||
use std::sync::mpsc::{Receiver, Sender, RecvTimeoutError};
|
||||
use style_traits::CSSPixel;
|
||||
use style_traits::DevicePixel;
|
||||
use webdriver_msg::{LoadStatus, WebDriverScriptCommand};
|
||||
use webrender_api::ClipId;
|
||||
use webrender_api::ImageKey;
|
||||
use webrender_api::{ClipId, DevicePixel, ImageKey};
|
||||
use webvr_traits::{WebVREvent, WebVRMsg};
|
||||
|
||||
pub use script_msg::{LayoutMsg, ScriptMsg, EventResult, LogEntry};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue