[gtk/droppable-box-children: 4/4] mediacontrols: Make the labels and scale droppable

[Matthias Clasen <matthiasc src gnome org>]

commit 00e2f7ab8accbfc600a4265dd2dbff54aedf36ef
Author: Matthias Clasen <mclasen redhat com>
Date:   Mon Apr 27 19:14:04 2020 -0400

    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>