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 |