[gnome-shell] Use nice Unicode for date formatting

[Matthias Clasen <matthiasc src gnome org>]

commit 6f8540f25ae5df3ed59416ee8a8dedf097bdf280
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed Nov 28 22:59:24 2012 -0500

    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 files changed, 7 insertions(+), 4 deletions(-)
---
diff --git a/js/ui/calendar.js b/js/ui/calendar.js
index 0cab1d6..313171d 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;
         }
     }