From 6f8540f25ae5df3ed59416ee8a8dedf097bdf280 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Wed, 28 Nov 2012 22:59:24 -0500 Subject: [PATCH] Use nice Unicode for date formatting The ratio character is nicer aligned for this use than the stock colon, and a thin space is all that is needed before am/pm. https://bugzilla.gnome.org/show_bug.cgi?id=689251 --- js/ui/calendar.js | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/js/ui/calendar.js b/js/ui/calendar.js index 0cab1d650..313171dce 100644 --- a/js/ui/calendar.js +++ b/js/ui/calendar.js @@ -62,15 +62,18 @@ function _formatEventTime(event, clockFormat) { } else { switch (clockFormat) { case '24h': - /* Translators: Shown in calendar event list, if 24h format */ - ret = event.date.toLocaleFormat(C_("event list time", "%H:%M")); + /* Translators: Shown in calendar event list, if 24h format, + \u2236 is a ratio character, similar to : */ + ret = event.date.toLocaleFormat(C_("event list time", "%H\u2236%M")); break; default: /* explicit fall-through */ case '12h': - /* Transators: Shown in calendar event list, if 12h format */ - ret = event.date.toLocaleFormat(C_("event list time", "%l:%M %p")); + /* Transators: Shown in calendar event list, if 12h format, + \u2236 is a ratio character, similar to : and \u2009 is + a thin space */ + ret = event.date.toLocaleFormat(C_("event list time", "%l\u2236%M\u2009%p")); break; } }