mediacontrols: Use tabular figures for time and duration

In particular, this prevents gtk4-widget-factory from jumping every
second.
This commit is contained in:
Alexander Mikhaylenko 2020-04-27 17:28:20 +05:00
parent b3710279bc
commit 422c78badf

View File

@ -30,7 +30,11 @@
<child>
<object class="GtkBox" id="time_box">
<child>
<object class="GtkLabel" id="time_label"/>
<object class="GtkLabel" id="time_label">
<attributes>
<attribute name="font-features" value="tnum=1"/>
</attributes>
</object>
</child>
<child>
<object class="GtkScale" id="seek_scale">
@ -41,7 +45,11 @@
</object>
</child>
<child>
<object class="GtkLabel" id="duration_label"/>
<object class="GtkLabel" id="duration_label">
<attributes>
<attribute name="font-features" value="tnum=1"/>
</attributes>
</object>
</child>
</object>
</child>