[gnome-desktop] Use nice Unicode for date formatting

[Matthias Clasen <matthiasc src gnome org>]

commit b9b5c04ccf348b93399522cf450bbfe6a5819578
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed Nov 28 22:43:04 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.

 libgnome-desktop/gnome-wall-clock.c |   39 +++++++++++++++++++++-------------
 1 files changed, 24 insertions(+), 15 deletions(-)
---
diff --git a/libgnome-desktop/gnome-wall-clock.c b/libgnome-desktop/gnome-wall-clock.c
index 4842d6d..39ffbff 100644
--- a/libgnome-desktop/gnome-wall-clock.c
+++ b/libgnome-desktop/gnome-wall-clock.c
@@ -242,35 +242,44 @@ update_clock (gpointer data)
 	    self->priv->ampm_available == FALSE) {
 		if (show_full_date) {
 			/* Translators: This is the time format with full date used
-			   in 24-hour mode. */
-			format_string = show_seconds ? _("%a %b %e, %R:%S")
+			   in 24-hour mode.
+                           The character between %R and %S is U+2236 RATIO */
+			format_string = show_seconds ? _("%a %b %e, %Râ%S")
 				: _("%a %b %e, %R");
 		} else if (show_weekday) {
 			/* Translators: This is the time format with day used
-			   in 24-hour mode. */
-			format_string = show_seconds ? _("%a %R:%S")
+			   in 24-hour mode.
+                           The character between %R and %S is U+2236 RATIO */
+			format_string = show_seconds ? _("%a %Râ%S")
 				: _("%a %R");
 		} else {
 			/* Translators: This is the time format without date used
-			   in 24-hour mode. */
-			format_string = show_seconds ? _("%R:%S") : _("%R");
+			   in 24-hour mode.
+                           The character between %R and %S is U+2236 RATIO */
+			format_string = show_seconds ? _("%Râ%S") : _("%R");
 		}
 	} else {
 		if (show_full_date) {
 			/* Translators: This is a time format with full date used
-			   for AM/PM. */
-			format_string = show_seconds ? _("%a %b %e, %l:%M:%S %p")
-				: _("%a %b %e, %l:%M %p");
+			   for AM/PM.
+                           The Unicode characters are U+2236 RATIO and
+                           U+2009 THIN SPACE */
+			format_string = show_seconds ? _("%a %b %e, %lâ%Mâ%Sâ%p")
+				: _("%a %b %e, %lâ%Mâ%p");
 		} else if (show_weekday) {
 			/* Translators: This is a time format with day used
-			   for AM/PM. */
-			format_string = show_seconds ? _("%a %l:%M:%S %p")
-				: _("%a %l:%M %p");
+			   for AM/PM.
+                           The Unicode characters are U+2236 RATIO and
+                           U+2009 THIN SPACE */
+			format_string = show_seconds ? _("%a %lâ%Mâ%Sâ%p")
+				: _("%a %lâ%Mâ%p");
 		} else {
 			/* Translators: This is a time format without date used
-			   for AM/PM. */
-			format_string = show_seconds ? _("%l:%M:%S %p")
-				: _("%l:%M %p");
+			   for AM/PM.
+                           The Unicode characters are U+2236 RATIO and
+                           U+2009 THIN SPACE */
+			format_string = show_seconds ? _("%lâ%Mâ%Sâ%p")
+				: _("%lâ%Mâ%p");
 		}
 	}