diff --git a/gnomemusic/utils.py b/gnomemusic/utils.py index 7cb98a433985595c1fb03516861c37168df93acf..fd88be299a614f4a8e550f74125524aca7e12028 100644 --- a/gnomemusic/utils.py +++ b/gnomemusic/utils.py @@ -172,7 +172,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 6ad2b5efa33323b1cb6430f8bb50ff9aef0dc497..71a094d1ee22ba5f98ee72fdd0ea087606fa5256 100644 --- a/gnomemusic/widgets/playertoolbar.py +++ b/gnomemusic/widgets/playertoolbar.py @@ -186,7 +186,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()