Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

HTMLMediaElement - use media element instead of dom manipulation task source

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2018-11-06 20:14:36 +01:00
parent 32d97d695e
commit ebe6c3fac3
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1087,7 +1087,7 @@ impl HTMLMediaElement {
let trusted_node = Trusted::new(self);
let window = window_from_node(self);
let task_source = window.dom_manipulation_task_source();
let task_source = window.media_element_task_source();
let task_canceller = window.task_canceller(TaskSourceName::DOMManipulation);
ROUTER.add_route(
action_receiver.to_opaque(),
@ -1131,7 +1131,7 @@ impl HTMLMediaElement {
}
if previous_duration != self.duration.get() {
let window = window_from_node(self);
let task_source = window.dom_manipulation_task_source();
let task_source = window.media_element_task_source();
task_source.queue_simple_event(self.upcast(), atom!("durationchange"), &window);
}
@ -1143,7 +1143,7 @@ impl HTMLMediaElement {
video_elem.set_video_width(metadata.width);
video_elem.set_video_height(metadata.height);
let window = window_from_node(self);
let task_source = window.dom_manipulation_task_source();
let task_source = window.media_element_task_source();
task_source.queue_simple_event(self.upcast(), atom!("resize"), &window);
}
}