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