WebKitDOMGTK+ Reference Manual: 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

WebKitDOMCustom

Functions

Object Hierarchy

Description

Functions

webkit_dom_html_text_area_element_is_edited ()

Parameters

Returns

webkit_dom_html_input_element_is_edited ()

Parameters

Returns

webkit_dom_html_media_element_set_current_time ()

Parameters

Types and Values