From 6e5da30cb11dd03ff4ebd8dfcb33c5cfd423b788 Mon Sep 17 00:00:00 2001 From: Yosef Or Boczko Date: Mon, 28 Mar 2022 23:27:27 +0300 Subject: [PATCH] utils,playertoolbar: Use regular colon as time divider MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The GNOME HIG suggests using an alternate character for the hour, minutes divider (Teams/Design/hig-www#127). This leads to reversed time ordering in RTL languages. Use „:” (U+003A) again instead of „∶” (U+2236) for now. This will fix the reversed time in RTL languages. Fixes: #509 --- gnomemusic/utils.py | 2 +- gnomemusic/widgets/playertoolbar.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/gnomemusic/utils.py b/gnomemusic/utils.py index 7cb98a433..fd88be299 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 6ad2b5efa..71a094d1e 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() -- GitLab