diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2020-04-27 19:14:04 -0400 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2020-04-27 19:16:45 -0400 |
| commit | 00e2f7ab8accbfc600a4265dd2dbff54aedf36ef (patch) | |
| tree | 10fabb1952edd90f2425ac27cf2b0193610c2a22 | |
| parent | 7eef6b1a0eaa86fc51b8cfaa5b0baa822b1a3694 (diff) | |
| download | gtk+-droppable-box-children.tar.gz | |
mediacontrols: Make the labels and scale droppabledroppable-box-children
Request a reasonable minimum size for the scale, but
let the mediacontrols drop both labels and scale when
space is at a premium.
| -rw-r--r-- | gtk/ui/gtkmediacontrols.ui | 10 |
1 files changed, 10 insertions, 0 deletions
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> |