| Top | |
|
|
|
| gboolean | webkit_dom_html_text_area_element_is_edited () |
| gboolean | webkit_dom_html_input_element_is_edited () |
| void | webkit_dom_html_media_element_set_current_time () |
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);