WebKitDOMGTK+ Reference Manual: WebKitDOMCustom

## WebKitDOMCustom WebKitDOMCustom |

## Functions

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

## Object Hierarchy

## Description

## Functions

### webkit_dom_html_text_area_element_is_edited ()

    gboolean
    webkit_dom_html_text_area_element_is_edited
                                   (WebKitDOMHTMLTextAreaElement *input);

#### Parameters

input | A WebKitDOMHTMLTextAreaElement |

#### Returns

A gboolean

### webkit_dom_html_input_element_is_edited ()

    gboolean
    webkit_dom_html_input_element_is_edited
                                   (WebKitDOMHTMLInputElement *input);

#### Parameters

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

#### Parameters

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

## Types and Values