| Top |
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
“width” property“width” glong
read-write glong HTMLPreElement:width.
Owner: WebKitDOMHTMLPreElement
Flags: Read / Write
Default value: 0
“wrap” property“wrap” gboolean
read-write gboolean HTMLPreElement:wrap.
Owner: WebKitDOMHTMLPreElement
Flags: Read / Write
Default value: FALSE