Property
WebKit2WebExtensionDOMHTMLPreElement:width
Description
No description available.
          Type:glong
| Default value | 0 | 
| Getter method | webkit_dom_html_pre_element_get_width() | 
| Setter method | webkit_dom_html_pre_element_set_width() | 
No description available.
          Type:glong
| Default value | 0 | 
| Getter method | webkit_dom_html_pre_element_get_width() | 
| Setter method | webkit_dom_html_pre_element_set_width() |