diff options
author | Alan Jeffrey <ajeffrey@mozilla.com> | 2019-11-15 09:18:55 -0600 |
---|---|---|
committer | Alan Jeffrey <ajeffrey@mozilla.com> | 2019-11-18 09:40:58 -0600 |
commit | 124de750897da0ba1dfb00966deff8591d9375cd (patch) | |
tree | 3893c224b7f16b8b367f4bc2d22c108c302e5aef /components/servo/lib.rs | |
parent | f890d2e21db8f953c45cd259a75976c4bff2a09b (diff) | |
download | servo-124de750897da0ba1dfb00966deff8591d9375cd.tar.gz servo-124de750897da0ba1dfb00966deff8591d9375cd.zip |
Avoid recompiling script every time surfman changes
Diffstat (limited to 'components/servo/lib.rs')
-rw-r--r-- | components/servo/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/components/servo/lib.rs b/components/servo/lib.rs index 9a39856c762..3d4b7bf14d3 100644 --- a/components/servo/lib.rs +++ b/components/servo/lib.rs @@ -422,7 +422,7 @@ where // For the moment, we enable use both the webxr crate and the rust-webvr crate, // but we are migrating over to just using webxr. - let mut webxr_main_thread = webxr_api::MainThreadRegistry::new(event_loop_waker) + let mut webxr_main_thread = webxr::MainThreadRegistry::new(event_loop_waker) .expect("Failed to create WebXR device registry"); if pref!(dom.webxr.enabled) { embedder.register_webxr(&mut webxr_main_thread); @@ -1010,7 +1010,7 @@ fn create_webgl_threads<W>( webrender: &mut webrender::Renderer, webrender_api_sender: webrender_api::RenderApiSender, webvr_compositor: Option<Box<WebVRCompositorHandler>>, - webxr_main_thread: &mut webxr_api::MainThreadRegistry, + webxr_main_thread: &mut webxr::MainThreadRegistry, external_image_handlers: &mut WebrenderExternalImageHandlers, external_images: Arc<Mutex<WebrenderExternalImageRegistry>>, ) -> WebGLThreads |