| Top |  |  |  |  | 
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);