WebKit2WebExtension.DOMHTMLOptionElement.set_disabled

### Method

# WebKit2WebExtension DOMHTMLOptionElement set_disabled

deprecated: 2.22

#### Declaration [src]

    void
    webkit_dom_html_option_element_set_disabled (
      WebKitDOMHTMLOptionElement* self,
      gboolean value
    )

#### Description

No description available.

Deprecated since: 2.22

Use JavaScriptCore API instead.

Sets property | `WebKit2WebExtension.DOMHTMLOptionElement:disabled`

#### Parameters

`value`

  Type: `gboolean`

  A #gboolean.