From 524750f41f22ddd933d2e72013dd97b284b24c38 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADctor=20Manuel=20J=C3=A1quez=20Leal?= Date: Mon, 27 Aug 2018 18:10:13 +0200 Subject: [PATCH] dom: framerenderer: implement HTMLMediaFrameSource trait for MediaFrameRenderer --- components/script/dom/mediaframerenderer.rs | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/components/script/dom/mediaframerenderer.rs b/components/script/dom/mediaframerenderer.rs index 698051885a75..28a52c4bf7fe 100644 --- a/components/script/dom/mediaframerenderer.rs +++ b/components/script/dom/mediaframerenderer.rs @@ -1,4 +1,5 @@ use servo_media::player::frame::{Frame, FrameRenderer}; +use script_layout_interface::HTMLMediaFrameSource; use std::mem; use std::sync::{Arc, Mutex}; use webrender_api::{ @@ -29,6 +30,17 @@ impl FrameRenderer for MediaFrameRenderer { } } +impl HTMLMediaFrameSource for MediaFrameRenderer { + fn get_current_frame(&self) -> Option<(ImageKey, i32, i32)> { + let inner = self.inner.lock().unwrap(); + inner.current_frame.clone() + } + + fn clone_boxed(&self) -> Box { + Box::new(self.clone()) + } +} + struct MediaFrameRendererInner { api: RenderApi, current_frame: Option<(ImageKey, i32, i32)>,