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

Rename seek_sync to seek_end

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2018-10-25 13:42:26 +02:00
parent aa3c911efa
commit 7bf1944007
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1061,7 +1061,7 @@ impl HTMLMediaElement {
} }
// https://html.spec.whatwg.org/multipage/#dom-media-seek // https://html.spec.whatwg.org/multipage/#dom-media-seek
fn seek_sync(&self) { fn seek_end(&self) {
// Step 14. // Step 14.
self.seeking.set(false); self.seeking.set(false);
@ -1417,7 +1417,7 @@ impl MicrotaskRunnable for MediaElementMicrotask {
generation_id, generation_id,
} => { } => {
if generation_id == elem.generation_id.get() { if generation_id == elem.generation_id.get() {
elem.seek_sync(); elem.seek_end();
} }
}, },
} }