Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Define the channel type for player events

Browse source
This commit is contained in:
Víctor Manuel Jáquez Leal 2019-06-14 11:13:30 +02:00 • committed by Fernando Jiménez Moreno
parent dd01728d53
commit fe860f3aad
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/script/dom/htmlmediaelement.rs
View file

@ -1254,7 +1254,7 @@ impl HTMLMediaElement {
}; };
let window = window_from_node(self); let window = window_from_node(self);
let (action_sender, action_receiver) = ipc::channel().unwrap(); let (action_sender, action_receiver) = ipc::channel::<PlayerEvent>().unwrap();
let renderer: Option<Arc<Mutex<dyn FrameRenderer>>> = match self.media_type_id() { let renderer: Option<Arc<Mutex<dyn FrameRenderer>>> = match self.media_type_id() {
HTMLMediaElementTypeId::HTMLAudioElement => None, HTMLMediaElementTypeId::HTMLAudioElement => None,
HTMLMediaElementTypeId::HTMLVideoElement => Some(self.frame_renderer.clone()), HTMLMediaElementTypeId::HTMLVideoElement => Some(self.frame_renderer.clone()),
@ -1276,7 +1276,7 @@ impl HTMLMediaElement {
ROUTER.add_route( ROUTER.add_route(
action_receiver.to_opaque(), action_receiver.to_opaque(),
Box::new(move |message| { Box::new(move |message| {
let event: PlayerEvent = message.to().unwrap(); let event = message.to().unwrap();
trace!("Player event {:?}", event); trace!("Player event {:?}", event);
let this = trusted_node.clone(); let this = trusted_node.clone();
if let Err(err) = task_source.queue_with_canceller( if let Err(err) = task_source.queue_with_canceller(