[gnome-mines] Use ratio in clock, mark for translation

[Michael Catanzaro <mcatanzaro src gnome org>]

commit fb5ee7543d782eae0f44b6f05842b0c04ae41aec
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sat Jun 21 18:23:29 2014 -0500

    Use ratio in clock, mark for translation
    
    I swear the colon looks better in times than the ratio, but not much
    point in typography guidelines if we don't follow them....

 src/gnome-mines.vala |   19 +++++++++++++++++--
 1 files changed, 17 insertions(+), 2 deletions(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index 2eda53f..31b5bc4 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -604,9 +604,24 @@ public class Mines : Gtk.Application
         var minutes = (elapsed - hours * 3600) / 60;
         var seconds = elapsed - hours * 3600 - minutes * 60;
         if (hours > 0)
-            clock_label.set_text ("%02d:%02d:%02d".printf (hours, minutes, seconds));
+        {
+            /* Translators: sorry. This is the clock label when the game has exceeded
+             * one hour in length. The first %02d is hours, the middle %02d is minutes,
+             * and the last is seconds. In between are ratio characters and LTR order
+             * marks, so that nothing gets reversed in RTL languages. You probably do not
+             * need to change this. Probably.
+             */
+            clock_label.set_text (_("%02d\xE2\x88\xB6\xE2\x80\x8E%02d\xE2\x88\xB6\xE2\x80\x8E%02d").printf 
(hours, minutes, seconds));
+        }
         else
-            clock_label.set_text ("%02d:%02d".printf (minutes, seconds));
+        {
+            /* Translators: sorry. This is the clock label when the game is less than
+             * one hour in length. The first %02d is minutes and the last is seconds.
+             * In between is a ratio character and LTR order mark, so that nothing gets
+             * reversed in RTL languages. You probably do not need to change this. Probably.
+             */
+            clock_label.set_text (_("%02d\xE2\x88\xB6\xE2\x80\x8E%02d").printf (minutes, seconds));
+        }
     }
 
     private void about_cb ()