Top |
WebKitDOMTimeRanges * | buffered | Read |
gdouble | current-time | Read / Write |
gdouble | default-playback-rate | Read / Write |
gdouble | duration | Read |
gboolean | muted | Read / Write |
gboolean | paused | Read |
gdouble | playback-rate | Read / Write |
gchar * | playback-state | Read |
WebKitDOMTimeRanges * | played | Read |
WebKitDOMTimeRanges * | seekable | Read |
gdouble | volume | Read / Write |
void
webkit_dom_media_controller_play (WebKitDOMMediaController *self
);
void
webkit_dom_media_controller_pause (WebKitDOMMediaController *self
);
void
webkit_dom_media_controller_unpause (WebKitDOMMediaController *self
);
WebKitDOMTimeRanges *
webkit_dom_media_controller_get_buffered
(WebKitDOMMediaController *self
);
WebKitDOMTimeRanges *
webkit_dom_media_controller_get_seekable
(WebKitDOMMediaController *self
);
gdouble
webkit_dom_media_controller_get_duration
(WebKitDOMMediaController *self
);
gdouble
webkit_dom_media_controller_get_current_time
(WebKitDOMMediaController *self
);
void webkit_dom_media_controller_set_current_time (WebKitDOMMediaController *self
,gdouble value
);
gboolean
webkit_dom_media_controller_get_paused
(WebKitDOMMediaController *self
);
WebKitDOMTimeRanges *
webkit_dom_media_controller_get_played
(WebKitDOMMediaController *self
);
gchar *
webkit_dom_media_controller_get_playback_state
(WebKitDOMMediaController *self
);
gdouble
webkit_dom_media_controller_get_default_playback_rate
(WebKitDOMMediaController *self
);
void webkit_dom_media_controller_set_default_playback_rate (WebKitDOMMediaController *self
,gdouble value
);
gdouble
webkit_dom_media_controller_get_playback_rate
(WebKitDOMMediaController *self
);
void webkit_dom_media_controller_set_playback_rate (WebKitDOMMediaController *self
,gdouble value
);
gdouble
webkit_dom_media_controller_get_volume
(WebKitDOMMediaController *self
);
void webkit_dom_media_controller_set_volume (WebKitDOMMediaController *self
,gdouble value
,GError **error
);
gboolean
webkit_dom_media_controller_get_muted (WebKitDOMMediaController *self
);
void webkit_dom_media_controller_set_muted (WebKitDOMMediaController *self
,gboolean value
);
“buffered”
property“buffered” WebKitDOMTimeRanges *
read-only WebKitDOMTimeRanges* MediaController:buffered.
Flags: Read
“current-time”
property“current-time” gdouble
read-write gdouble MediaController:current-time.
Flags: Read / Write
Default value: 0
“default-playback-rate”
property“default-playback-rate” gdouble
read-write gdouble MediaController:default-playback-rate.
Flags: Read / Write
Default value: 0
“duration”
property“duration” gdouble
read-only gdouble MediaController:duration.
Flags: Read
Default value: 0
“muted”
property“muted” gboolean
read-write gboolean MediaController:muted.
Flags: Read / Write
Default value: FALSE
“paused”
property“paused” gboolean
read-only gboolean MediaController:paused.
Flags: Read
Default value: FALSE
“playback-rate”
property“playback-rate” gdouble
read-write gdouble MediaController:playback-rate.
Flags: Read / Write
Default value: 0
“playback-state”
property“playback-state” gchar *
read-only gchar* MediaController:playback-state.
Flags: Read
Default value: ""
“played”
property“played” WebKitDOMTimeRanges *
read-only WebKitDOMTimeRanges* MediaController:played.
Flags: Read
“seekable”
property“seekable” WebKitDOMTimeRanges *
read-only WebKitDOMTimeRanges* MediaController:seekable.
Flags: Read
“volume”
property“volume” gdouble
read-write gdouble MediaController:volume.
Flags: Read / Write
Default value: 0