API Version: 4.0
Library Version: 2.38.5
glong webkit_dom_html_pre_element_get_width ( WebKitDOMHTMLPreElement* self )
Use JavaScriptCore API instead.
glong
A #glong.