[gtk/active-media-controls: 3/3] video: Don't hide the controls while active

[Matthias Clasen <matthiasc src gnome org>]

commit 7fb2102399095996dd21653417abf68b4be67ad6
Author: Matthias Clasen <mclasen redhat com>
Date:   Tue Apr 28 01:17:23 2020 -0400

    video: Don't hide the controls while active
    
    If the user is changing the volume, we don't
    want to hide the controls.

 gtk/gtkvideo.c | 5 +++++
 1 file changed, 5 insertions(+)
---
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);