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
value
Description:
public
string
value
{
owned
get
;
set
; }