GNOME Bugzilla – Bug 699325
Use of ratio for separating time
Last modified: 2014-05-30 12:51:09 UTC
I was tricked into enabling seconds for the date in the top bar and noticed that the minutes separator is different to seconds. Former using a colon and the latter using ratio (U+2236). They should both use the same, preferably ratio.
which language ?
and can you show an example of the formatted time (that will be helpful in identifying the format that was used)
Created attachment 243057 [details] formats cs
This is a bug in the glibc, because gnome-desktop uses %R:%S, and glibc uses : for %R. An easy work around is possible, though.
Uh oh, I spoke too early. gnome-desktop has translations from %R to %H∶%M for en, so they should be picked up.
Created attachment 243930 [details] [review] libgnome-desktop: initialize gettext before constructing a wall clock GnomeWallClock uses gettext, so we must initialize it to point to the right path. I think without the patch it ends up loading the installed (3.8) version of gnome-desktop, which does not include en.po and thus does not convert %R.
Attachment 243930 [details] pushed as 8829434 - libgnome-desktop: initialize gettext before constructing a wall clock
(In reply to comment #2) > and can you show an example of the formatted time (that will be helpful in > identifying the format that was used) this is how the clock string looks like for my current 3.8.x desktop (screenshot attached) https://bugzilla.gnome.org/show_bug.cgi?id=696497#c17
*** Bug 698952 has been marked as a duplicate of this bug. ***
please consider this patch as well https://bugzilla.gnome.org/show_bug.cgi?id=696497#c18
Was fixed in bug 726232 along with a test suite to avoid regressions. *** This bug has been marked as a duplicate of bug 726232 ***