mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
Avoid recompiling script every time surfman changes
This commit is contained in:
parent
f890d2e21d
commit
124de75089
13 changed files with 36 additions and 21 deletions
|
@ -19,6 +19,7 @@ use std::fmt::{Debug, Error, Formatter};
|
|||
use std::rc::Rc;
|
||||
use std::time::Duration;
|
||||
use style_traits::DevicePixel;
|
||||
|
||||
use webrender_api::units::DevicePoint;
|
||||
use webrender_api::units::{DeviceIntPoint, DeviceIntRect, DeviceIntSize};
|
||||
use webrender_api::ScrollLocation;
|
||||
|
@ -176,7 +177,7 @@ pub trait EmbedderMethods {
|
|||
}
|
||||
|
||||
/// Register services with a WebXR Registry.
|
||||
fn register_webxr(&mut self, _: &mut webxr_api::MainThreadRegistry) {}
|
||||
fn register_webxr(&mut self, _: &mut webxr::MainThreadRegistry) {}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Debug)]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue