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

Expose HTMLMediaElement.controls

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2019-05-10 20:01:22 +02:00
parent eccf738b09
commit f16cf2d6a4
2 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1856,6 +1856,11 @@ impl HTMLMediaElementMethods for HTMLMediaElement {
// https://html.spec.whatwg.org/multipage/#dom-media-defaultmuted
make_bool_setter!(SetDefaultMuted, "muted");
// https://html.spec.whatwg.org/multipage/#dom-media-controls
make_bool_getter!(Controls, "controls");
// https://html.spec.whatwg.org/multipage/#dom-media-controls
make_bool_setter!(SetControls, "controls");
// https://html.spec.whatwg.org/multipage/#dom-media-src
make_url_getter!(Src, "src");

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

@ -53,7 +53,7 @@ interface HTMLMediaElement : HTMLElement {
void pause();
// controls
// [CEReactions] attribute boolean controls;
[CEReactions] attribute boolean controls;
[Throws] attribute double volume;
attribute boolean muted;
[CEReactions] attribute boolean defaultMuted;