Graphics.UI.Gtk.WebKit.DOM.HTMLOptionElement
setDisabled
getDisabled
getForm
setLabel
getLabel
setDefaultSelected
getDefaultSelected
setSelected
getSelected
setValue
getValue
getText
getIndex
data HTMLOptionElement
castToHTMLOptionElement
gTypeHTMLOptionElement
class HTMLOptionElementClass o
toHTMLOptionElement