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