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

Use media element task source to receive the player's events

Browse source 
This is crumb left behind when changing the usage of dom task source
to the proper media element task source.
This commit is contained in:
Víctor Manuel Jáquez Leal 2019-06-06 17:03:59 +02:00
parent 347d8bdf72
commit 985efb4b8d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1241,7 +1241,7 @@ impl HTMLMediaElement {
let window = window_from_node(self);
let (task_source, canceller) = window
.task_manager()
.dom_manipulation_task_source_with_canceller();
.media_element_task_source_with_canceller();
ROUTER.add_route(
action_receiver.to_opaque(),
Box::new(move |message| {