mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Gstreamer plugin support for streaming from webxr
This commit is contained in:
parent
9fe92ecb4c
commit
50e168a688
6 changed files with 271 additions and 56 deletions
|
@ -1689,6 +1689,9 @@ impl<Window: WindowMethods + ?Sized> IOCompositor<Window> {
|
|||
// Run the WebXR main thread
|
||||
self.webxr_main_thread.run_one_frame();
|
||||
|
||||
// The WebXR thread may make a different context current
|
||||
let _ = self.webrender_surfman.make_gl_context_current();
|
||||
|
||||
if !self.pending_scroll_zoom_events.is_empty() && !self.waiting_for_results_of_scroll {
|
||||
self.process_pending_scroll_events()
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue