diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2020-04-28 01:17:23 -0400 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2020-04-28 01:17:23 -0400 |
| commit | 7fb2102399095996dd21653417abf68b4be67ad6 (patch) | |
| tree | 2222757e5b74924e3932e5a420ec679fce549c2e | |
| parent | a3035b0397ee87cb0a5ecb3bb9494eefbb40b02a (diff) | |
| download | gtk+-active-media-controls.tar.gz | |
video: Don't hide the controls while activeactive-media-controls
If the user is changing the volume, we don't
want to hide the controls.
| -rw-r--r-- | gtk/gtkvideo.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gtk/gtkvideo.c b/gtk/gtkvideo.c index 78f8ea080c..6a90b2dd82 100644 --- a/gtk/gtkvideo.c +++ b/gtk/gtkvideo.c @@ -81,6 +81,11 @@ static gboolean gtk_video_hide_controls (gpointer data) { GtkVideo *self = data; + gboolean active; + + g_object_get (self->controls, "active", &active, NULL); + if (active) + return G_SOURCE_CONTINUE; gtk_revealer_set_reveal_child (GTK_REVEALER (self->controls_revealer), FALSE); |