[gtk/wip/exalm/tnum] mediacontrols: Use tabular figures for time and duration
- From: Alexander Mikhaylenko <alexm src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk/wip/exalm/tnum] mediacontrols: Use tabular figures for time and duration
- Date: Mon, 27 Apr 2020 12:30:02 +0000 (UTC)
commit 422c78badfa74b6c972dabd3c7901d8bef6099ec
Author: Alexander Mikhaylenko <alexm gnome org>
Date: Mon Apr 27 17:28:20 2020 +0500
mediacontrols: Use tabular figures for time and duration
In particular, this prevents gtk4-widget-factory from jumping every
second.
gtk/ui/gtkmediacontrols.ui | 12 ++++++++++--
1 file changed, 10 insertions(+), 2 deletions(-)
---
diff --git a/gtk/ui/gtkmediacontrols.ui b/gtk/ui/gtkmediacontrols.ui
index bc12721713..412ecfa51c 100644
--- a/gtk/ui/gtkmediacontrols.ui
+++ b/gtk/ui/gtkmediacontrols.ui
@@ -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>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]