WebKitDOMGTK+ Reference Manual: WebKitDOMCustom

WebKitDOMCustom

gboolean	webkit_dom_html_text_area_element_is_edited ()
gboolean	webkit_dom_html_input_element_is_edited ()

gboolean
webkit_dom_html_text_area_element_is_edited
                               (WebKitDOMHTMLTextAreaElement *input);

gboolean
webkit_dom_html_input_element_is_edited
                               (WebKitDOMHTMLInputElement *input);