Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Make make_enumerated_getter prettier again.

Browse source 
Fixes https://github.com/servo/servo/issues/4723.
This commit is contained in:
Corey Farwell 2016-10-12 23:00:07 -04:00
parent 4034bd68c2
commit 2944c8d964
6 changed files with 18 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -664,7 +664,7 @@ impl HTMLMediaElementMethods for HTMLMediaElement {
// https://html.spec.whatwg.org/multipage/#attr-media-preload
// Missing value default is user-agent defined.
make_enumerated_getter!(Preload, "preload", "", ("none") | ("metadata") | ("auto"));
make_enumerated_getter!(Preload, "preload", "", "none" | "metadata" | "auto");
// https://html.spec.whatwg.org/multipage/#attr-media-preload
make_setter!(SetPreload, "preload");