Synopsis

gboolean            webkit_dom_html_text_area_element_is_edited
                                                        (WebKitDOMHTMLTextAreaElement *input);
gboolean            webkit_dom_html_input_element_is_edited
                                                        (WebKitDOMHTMLInputElement *input);
void                webkit_dom_html_media_element_set_current_time
                                                        (WebKitDOMHTMLMediaElement *self,
                                                         gdouble value,
                                                         GError **error);