Method

WebKit2WebExtensionDOMHTMLPreElementset_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 propertyWebKit2WebExtension.DOMHTMLPreElement:width

Parameters

value

Type: glong

A #glong.