Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 04:30:10 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #22129 - ferjm:media.task.source, r=Manishearth

Browse source 
HTMLMediaElement - use media element instead of dom manipulation task…

… source

- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22129)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-11-07 12:16:58 -05:00 • committed by GitHub
commit b93d4b2ac6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -1090,7 +1090,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(),
@ -1134,7 +1134,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);
}
@ -1147,7 +1147,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);
}
}