Method

WebKit2WebExtensionDOMHTMLPreElementset_width

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 glong
 

A #glong.