Lerking/gtk
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

mediacontrols: Make the labels and scale droppable

Browse Source 
Request a reasonable minimum size for the scale, but
let the mediacontrols drop both labels and scale when
space is at a premium.
This commit is contained in:
Matthias Clasen
2020-04-27 19:14:04 -04:00
parent 7eef6b1a0e
commit 00e2f7ab8a
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
gtk/ui/gtkmediacontrols.ui
View File

@@ -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>