[gnome-chess/gnome-3-12] Use colons to compute time label width

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 96020aa7269b16ef7181440ee5d27339d8c2021b
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Mon Mar 24 19:41:48 2014 -0500

    Use colons to compute time label width
    
    For 3.12 only, let's stick to colons for the time label. This means we
    should also use colons for computing the width of the drawing area. Is
    this likely to make any difference in the width? Probably not, but
    what's the point in being wrong?

 src/gnome-chess.vala |   20 ++++++++++----------
 1 files changed, 10 insertions(+), 10 deletions(-)
---
diff --git a/src/gnome-chess.vala b/src/gnome-chess.vala
index 14e1b45..885017e 100644
--- a/src/gnome-chess.vala
+++ b/src/gnome-chess.vala
@@ -1444,25 +1444,25 @@ public class Application : Gtk.Application
         Cairo.TextExtents extents;
         double max = 0;
 
-        c.text_extents ("000∶00", out extents);
+        c.text_extents ("000:00", out extents);
         max = (max > extents.width ? max : extents.width);
-        c.text_extents ("111∶11", out extents);
+        c.text_extents ("111:11", out extents);
         max = (max > extents.width ? max : extents.width);
-        c.text_extents ("222∶22", out extents);
+        c.text_extents ("222:22", out extents);
         max = (max > extents.width ? max : extents.width);
-        c.text_extents ("333∶33", out extents);
+        c.text_extents ("333:33", out extents);
         max = (max > extents.width ? max : extents.width);
-        c.text_extents ("444∶44", out extents);
+        c.text_extents ("444:44", out extents);
         max = (max > extents.width ? max : extents.width);
-        c.text_extents ("555∶55", out extents);
+        c.text_extents ("555:55", out extents);
         max = (max > extents.width ? max : extents.width);
-        c.text_extents ("666∶66", out extents);
+        c.text_extents ("666:66", out extents);
         max = (max > extents.width ? max : extents.width);
-        c.text_extents ("777∶77", out extents);
+        c.text_extents ("777:77", out extents);
         max = (max > extents.width ? max : extents.width);
-        c.text_extents ("888∶88", out extents);
+        c.text_extents ("888:88", out extents);
         max = (max > extents.width ? max : extents.width);
-        c.text_extents ("999∶99", out extents);
+        c.text_extents ("999:99", out extents);
         max = (max > extents.width ? max : extents.width);
 
         /* Leave a little bit of room to the sides. */