gboolean webkit_dom_html_text_area_element_is_edited(WebKitDOMHTMLTextAreaElement*) gboolean webkit_dom_html_input_element_is_edited(WebKitDOMHTMLInputElement*) gboolean webkit_dom_dom_window_webkit_message_handlers_post_message(WebKitDOMDOMWindow*, const gchar*, const gchar*)