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