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