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

HTMLMediaElement seeking

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2018-10-22 16:01:00 +02:00
parent 2db141fb8b
commit 75407822bc
5 changed files with 124 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/script/dom/webidls/HTMLMediaElement.webidl
View file

@ -34,11 +34,11 @@ interface HTMLMediaElement : HTMLElement {
const unsigned short HAVE_FUTURE_DATA = 3;
const unsigned short HAVE_ENOUGH_DATA = 4;
readonly attribute unsigned short readyState;
// readonly attribute boolean seeking;
readonly attribute boolean seeking;
// playback state
attribute double currentTime;
// void fastSeek(double time);
void fastSeek(double time);
readonly attribute unrestricted double duration;
// Date getStartDate();
readonly attribute boolean paused;