Packages
webkit2gtk-web-extension-4.0
WebKit
DOM
HTMLOptionElement
default_selected
disabled
form
index
label
selected
text
value
HTMLOptionElement
get_default_selected
get_disabled
get_form
get_index
get_label
get_selected
get_text
get_value
set_default_selected
set_disabled
set_label
set_selected
set_value
form
Description:
public
HTMLFormElement
form
{
get
; }