From 00e2f7ab8accbfc600a4265dd2dbff54aedf36ef Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Mon, 27 Apr 2020 19:14:04 -0400
Subject: mediacontrols: Make the labels and scale droppable

Request a reasonable minimum size for the scale, but
let the mediacontrols drop both labels and scale when
space is at a premium.
---
 gtk/ui/gtkmediacontrols.ui | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/gtk/ui/gtkmediacontrols.ui b/gtk/ui/gtkmediacontrols.ui
index 412ecfa51c..de9859e82d 100644
--- a/gtk/ui/gtkmediacontrols.ui
+++ b/gtk/ui/gtkmediacontrols.ui
@@ -34,6 +34,9 @@
                 <attributes>
                   <attribute name="font-features" value="tnum=1"/>
                 </attributes>
+                <layout>
+                  <property name="droppable">2</property>
+                </layout>
               </object>
             </child>
             <child>
@@ -42,6 +45,10 @@
                 <property name="draw_value">0</property>
                 <property name="restrict-to-fill-level">0</property>
                 <property name="hexpand">1</property>
+                <property name="width-request">100</property>
+                <layout>
+                  <property name="droppable">1</property>
+                </layout>
               </object>
             </child>
             <child>
@@ -49,6 +56,9 @@
                 <attributes>
                   <attribute name="font-features" value="tnum=1"/>
                 </attributes>
+                <layout>
+                  <property name="droppable">3</property>
+                </layout>
               </object>
             </child>
           </object>
-- 
cgit v1.2.1