diff options
| author | Alexander Mikhaylenko <alexm@gnome.org> | 2020-04-27 17:28:20 +0500 |
|---|---|---|
| committer | Alexander Mikhaylenko <alexm@gnome.org> | 2020-04-27 17:28:20 +0500 |
| commit | 422c78badfa74b6c972dabd3c7901d8bef6099ec (patch) | |
| tree | 7fb0bad774a89051d1ca0ae986a10efba1cac23a | |
| parent | b3710279bcf62faaf7f0024142b4b99154122934 (diff) | |
| download | gtk+-422c78badfa74b6c972dabd3c7901d8bef6099ec.tar.gz | |
mediacontrols: Use tabular figures for time and duration
In particular, this prevents gtk4-widget-factory from jumping every
second.
| -rw-r--r-- | gtk/ui/gtkmediacontrols.ui | 12 |
1 files 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> |