WebKitDOMGTK+ Reference Manual: WebKitDOMCustom

## WebKitDOMCustom WebKitDOMCustom |

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

## Description

## Details

### webkit_dom_html_text_area_element_is_edited ()

    gboolean            webkit_dom_html_text_area_element_is_edited
                                                            (WebKitDOMHTMLTextAreaElement *input);

`input` : | A WebKitDOMHTMLTextAreaElement
Returns : | A gboolean

### webkit_dom_html_input_element_is_edited ()

    gboolean            webkit_dom_html_input_element_is_edited
                                                            (WebKitDOMHTMLInputElement *input);

`input` : | A WebKitDOMHTMLInputElement
Returns : | A gboolean

### webkit_dom_html_media_element_set_current_time ()

    void                webkit_dom_html_media_element_set_current_time
                                                            (WebKitDOMHTMLMediaElement *self,
                                                             gdouble value,
                                                             GError **error);

`self` : | A WebKitDOMHTMLMediaElement
`value` : | A gdouble
`error` : | GError