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 property | WebKit2WebExtension.DOMHTMLPreElement:width |