diff options
| author | Víctor Manuel Jáquez Leal <vjaquez@igalia.com> | 2019-06-06 17:03:59 +0200 |
|---|---|---|
| committer | Víctor Manuel Jáquez Leal <vjaquez@igalia.com> | 2019-06-06 17:03:59 +0200 |
| commit | 985efb4b8d5006eae51e4f4e66538d2c3694a9e7 (patch) | |
| tree | 2946acba7aa80de9161e1f523ea21afd6201dfc1 /components/script/dom/htmlmediaelement.rs | |
| parent | 347d8bdf727d6b43ba7f94b744c9115bc6226aff (diff) | |
| download | servo-985efb4b8d5006eae51e4f4e66538d2c3694a9e7.tar.gz servo-985efb4b8d5006eae51e4f4e66538d2c3694a9e7.zip | |
Use media element task source to receive the player's events
This is crumb left behind when changing the usage of dom task source
to the proper media element task source.
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index dcd36a5b4e3..364870688b6 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -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| { |