| Top |
| glong | webkit_dom_html_pre_element_get_width () |
| void | webkit_dom_html_pre_element_set_width () |
| gboolean | webkit_dom_html_pre_element_get_wrap () |
| void | webkit_dom_html_pre_element_set_wrap () |
GObject
╰── WebKitDOMObject
╰── WebKitDOMNode
╰── WebKitDOMElement
╰── WebKitDOMHTMLElement
╰── WebKitDOMHTMLPreElement
glong
webkit_dom_html_pre_element_get_width (WebKitDOMHTMLPreElement *self);
webkit_dom_html_pre_element_get_width has been deprecated since version 2.22 and should not be used in newly-written code.
Use JavaScriptCore API instead
void webkit_dom_html_pre_element_set_width (WebKitDOMHTMLPreElement *self,glong value);
webkit_dom_html_pre_element_set_width has been deprecated since version 2.22 and should not be used in newly-written code.
Use JavaScriptCore API instead
gboolean
webkit_dom_html_pre_element_get_wrap (WebKitDOMHTMLPreElement *self);
webkit_dom_html_pre_element_get_wrap has been deprecated since version 2.22 and should not be used in newly-written code.
Use JavaScriptCore API instead
void webkit_dom_html_pre_element_set_wrap (WebKitDOMHTMLPreElement *self,gboolean value);
webkit_dom_html_pre_element_set_wrap has been deprecated since version 2.22 and should not be used in newly-written code.
Use JavaScriptCore API instead