diff options
author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-11-06 20:14:36 +0100 |
---|---|---|
committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-11-06 20:15:14 +0100 |
commit | ebe6c3fac342fe17e9236c3c1a7b8c34328940cc (patch) | |
tree | 3d7953320c44ce42536748ff1355d59868313818 /components/script/dom/htmlmediaelement.rs | |
parent | 32d97d695e7aaf8fea9003dc1e4ef69e6f645ffb (diff) | |
download | servo-ebe6c3fac342fe17e9236c3c1a7b8c34328940cc.tar.gz servo-ebe6c3fac342fe17e9236c3c1a7b8c34328940cc.zip |
HTMLMediaElement - use media element instead of dom manipulation task source
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
-rw-r--r-- | components/script/dom/htmlmediaelement.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index 1cd0b5e825a..1272d86ebd5 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -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); } } |