mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
Implement play, pause, paused, and autoplay APIs.
This commit is contained in:
parent
5960fbe604
commit
e3db11fd8b
20 changed files with 118 additions and 399 deletions
|
@ -38,16 +38,16 @@ interface HTMLMediaElement : HTMLElement {
|
|||
//void fastSeek(double time);
|
||||
//readonly attribute unrestricted double duration;
|
||||
//Date getStartDate();
|
||||
//readonly attribute boolean paused;
|
||||
readonly attribute boolean paused;
|
||||
// attribute double defaultPlaybackRate;
|
||||
// attribute double playbackRate;
|
||||
//readonly attribute TimeRanges played;
|
||||
//readonly attribute TimeRanges seekable;
|
||||
//readonly attribute boolean ended;
|
||||
// attribute boolean autoplay;
|
||||
attribute boolean autoplay;
|
||||
// attribute boolean loop;
|
||||
//void play();
|
||||
//void pause();
|
||||
void play();
|
||||
void pause();
|
||||
|
||||
// media controller
|
||||
// attribute DOMString mediaGroup;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue