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

auto merge of #3938 : guillaumebort/servo/fix/3933, r=jdm

Browse source 
Implement HTMLOptionElement.{label,value}
This commit is contained in:
bors-servo 2014-11-12 15:15:38 -07:00
commit 668d9217d8
7 changed files with 33 additions and 268 deletions
Download patch file Download diff file Expand all files Collapse all files

6
components/script/dom/webidls/HTMLOptionElement.webidl
View file

@ -6,12 +6,12 @@
// http://www.whatwg.org/html/#htmloptionelement
//[NamedConstructor=Option(optional DOMString text = "", optional DOMString value, optional boolean defaultSelected = false, optional boolean selected = false)]
interface HTMLOptionElement : HTMLElement {
attribute boolean disabled;
attribute boolean disabled;
//readonly attribute HTMLFormElement? form;
// attribute DOMString label;
attribute DOMString label;
// attribute boolean defaultSelected;
// attribute boolean selected;
// attribute DOMString value;
attribute DOMString value;
attribute DOMString text;
//readonly attribute long index;