[gtk/wip/exalm/tnum] mediacontrols: Use tabular figures for time and duration

[Alexander Mikhaylenko <alexm src gnome org>]

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>