WebKit2WebExtension.DOMHTMLPreElement.set_width

### Method

# WebKit2WebExtension DOMHTMLPreElement set_width

deprecated: 2.22

#### Declaration [src]

    void
    webkit_dom_html_pre_element_set_width (
      WebKitDOMHTMLPreElement* self,
      glong value
    )

#### Description

No description available.

Deprecated since: 2.22

Use JavaScriptCore API instead.

Sets property | `WebKit2WebExtension.DOMHTMLPreElement:width`

#### Parameters

`value`

  Type: `glong`

  A #glong.