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