diff options
Diffstat (limited to 'components/script/dom/document.rs')
-rw-r--r-- | components/script/dom/document.rs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/components/script/dom/document.rs b/components/script/dom/document.rs index 3049d4f0bd6..6ee46bea95b 100644 --- a/components/script/dom/document.rs +++ b/components/script/dom/document.rs @@ -2530,11 +2530,17 @@ impl Document { return; } + #[allow(unused)] + let mut time = 0; + #[cfg(feature = "xr-profile")] + { + time = time::precise_time_ns(); + } let (sender, receiver) = webgl::webgl_channel().unwrap(); self.window .webgl_chan() .expect("Where's the WebGL channel?") - .send(WebGLMsg::SwapBuffers(dirty_context_ids, sender)) + .send(WebGLMsg::SwapBuffers(dirty_context_ids, sender, time)) .unwrap(); receiver.recv().unwrap(); } |