diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2018-05-06 15:37:13 -0400 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2018-05-06 15:57:10 -0400 |
| commit | 79e54929a2ae692973352ec17c731b2272849270 (patch) | |
| tree | cae0eff90f9681c7ef0deede4b5be8de7fce635d /gtk/gtkmediacontrols.c | |
| parent | 7f8a8f221d60bc5da23602e5e024eb91f8b0f758 (diff) | |
| download | gtk+-79e54929a2ae692973352ec17c731b2272849270.tar.gz | |
Add more media docs
Diffstat (limited to 'gtk/gtkmediacontrols.c')
| -rw-r--r-- | gtk/gtkmediacontrols.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gtk/gtkmediacontrols.c b/gtk/gtkmediacontrols.c index 38a9bbbf23..22d1852b48 100644 --- a/gtk/gtkmediacontrols.c +++ b/gtk/gtkmediacontrols.c @@ -30,6 +30,7 @@ * SECTION:gtkmediacontrols * @title: GtkMediaControls * @short_description: A widget showing controls for a media stream + * @see_also: #GtkVideo * * GtkMediaControls is a widget to show controls for a #GtkMediaStream * and giving users a way to use it. @@ -464,6 +465,13 @@ gtk_media_controls_notify_cb (GtkMediaStream *stream, update_volume (controls); } +/** + * gtk_media_controls_set_media_stream: + * @controls: a #GtkMediaControls widget + * @stream: (nullable): a #GtkMediaStream, or %NULL + * + * Sets the stream that is controlled by @controls. + */ void gtk_media_controls_set_media_stream (GtkMediaControls *controls, GtkMediaStream *stream) |