diff options
| author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-04-16 17:47:30 +0200 |
|---|---|---|
| committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-04-17 12:11:14 +0200 |
| commit | 501e6c1aed52c4324b0ae086ce0e2aa2c659ee9c (patch) | |
| tree | ddd1692e85a73e67f695af644df188773c387d6a /components/script/dom/htmlmediaelement.rs | |
| parent | b9d625f16e31be71eb493f0cb38c07a713b4fe86 (diff) | |
| download | servo-501e6c1aed52c4324b0ae086ce0e2aa2c659ee9c.tar.gz servo-501e6c1aed52c4324b0ae086ce0e2aa2c659ee9c.zip | |
Allow replaying media
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index 3d17b45357b..51170564be2 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -1708,8 +1708,12 @@ impl HTMLMediaElementMethods for HTMLMediaElement { } // Step 5. - // FIXME(nox): Seek to earliest possible position if playback has ended - // and direction of playback is forwards. + if self.Ended() && self.direction_of_playback() == PlaybackDirection::Forwards { + self.seek( + self.earliest_possible_position(), + /* approximate_for_speed */ false, + ); + } let state = self.ready_state.get(); |