[gnome-music/wip/mschraal/ratio-time-separator] Use unicode ratio as time separator

[Marinus Schraal <mschraal src gnome org>]

commit 48a17aa06b2f998e8734f3c5b86d59646b15c3ae
Author: Marinus Schraal <mschraal gnome org>
Date:   Thu May 20 21:46:49 2021 +0200

    Use unicode ratio as time separator
    
    As mentioned in the HIG guidelines.
    
    https://teams.pages.gitlab.gnome.org/Design/hig-www/guidelines/typography.html

 data/ui/PlayerToolbar.ui            | 4 ++--
 gnomemusic/utils.py                 | 2 +-
 gnomemusic/widgets/playertoolbar.py | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/data/ui/PlayerToolbar.ui b/data/ui/PlayerToolbar.ui
index 7e2f58e8e..23493a2b5 100644
--- a/data/ui/PlayerToolbar.ui
+++ b/data/ui/PlayerToolbar.ui
@@ -189,7 +189,7 @@
                 <property name="can_focus">False</property>
                 <property name="halign">start</property>
                 <property name="valign">center</property>
-                <property name="label">0:00</property>
+                <property name="label">0∶00</property>
                 <attributes>
                   <attribute name="font-features" value="tnum=1"/>
                 </attributes>
@@ -214,7 +214,7 @@
                 <property name="can_focus">False</property>
                 <property name="halign">start</property>
                 <property name="valign">center</property>
-                <property name="label">0:00</property>
+                <property name="label">0∶00</property>
                 <attributes>
                   <attribute name="font-features" value="tnum=1"/>
                 </attributes>
diff --git a/gnomemusic/utils.py b/gnomemusic/utils.py
index 22be754db..942a22ead 100644
--- a/gnomemusic/utils.py
+++ b/gnomemusic/utils.py
@@ -159,7 +159,7 @@ def seconds_to_string(duration):
     minutes = seconds // 60
     seconds %= 60
 
-    return '{:d}:{:02d}'.format(minutes, seconds)
+    return '{:d}∶{:02d}'.format(minutes, seconds)
 
 
 def normalize_caseless(text):
diff --git a/gnomemusic/widgets/playertoolbar.py b/gnomemusic/widgets/playertoolbar.py
index 79171d4fd..de2d945f1 100644
--- a/gnomemusic/widgets/playertoolbar.py
+++ b/gnomemusic/widgets/playertoolbar.py
@@ -170,7 +170,7 @@ class PlayerToolbar(Gtk.ActionBar):
         coresong = player.props.current_song
         self._duration_label.props.label = utils.seconds_to_string(
             coresong.props.duration)
-        self._progress_time_label.props.label = "0:00"
+        self._progress_time_label.props.label = "0∶00"
 
         self._play_button.set_sensitive(True)
         self._sync_prev_next()