[gtk+] GtkPrintUnixDialog: Better typography

[Matthias Clasen <matthiasc src gnome org>]

commit 972136803aa4f83e7297b47855b1d5b2c7735f4b
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri Aug 22 10:06:49 2014 -0400

    GtkPrintUnixDialog: Better typography
    
    Use U+2236 RATIO instead of ':' for times.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=735192

 gtk/resources/ui/gtkprintunixdialog.ui |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)
---
diff --git a/gtk/resources/ui/gtkprintunixdialog.ui b/gtk/resources/ui/gtkprintunixdialog.ui
index 4afe3f1..ea13716 100644
--- a/gtk/resources/ui/gtkprintunixdialog.ui
+++ b/gtk/resources/ui/gtkprintunixdialog.ui
@@ -1206,9 +1206,9 @@
                                 <property name="receives_default">False</property>
                                 <property name="has_tooltip">True</property>
                                 <property name="tooltip_markup" translatable="yes">Specify the time of print,
- e.g. 15:30, 2:35 pm, 14:15:20, 11:46:30 am, 4 pm</property>
+ e.g. 15∶30, 2∶35 pm, 14∶15∶20, 11∶46∶30 am, 4 pm</property>
                                 <property name="tooltip_text" translatable="yes" comments="Ability to parse 
the am/pm format depends on actual locale. You can remove the am/pm values below for your locale if they are 
not supported.">Specify the time of print,
- e.g. 15:30, 2:35 pm, 14:15:20, 11:46:30 am, 4 pm</property>
+ e.g. 15∶30, 2∶35 pm, 14∶15∶20, 11∶46∶30 am, 4 pm</property>
                                 <property name="use_underline">True</property>
                                 <property name="xalign">0</property>
                                 <property name="draw_indicator">True</property>
@@ -1230,16 +1230,16 @@
                                 <property name="can_focus">True</property>
                                 <property name="has_tooltip">True</property>
                                 <property name="tooltip_markup" translatable="yes">Specify the time of print,
- e.g. 15:30, 2:35 pm, 14:15:20, 11:46:30 am, 4 pm</property>
+ e.g. 15∶30, 2∶35 pm, 14∶15∶20, 11∶46∶30 am, 4 pm</property>
                                 <property name="tooltip_text" translatable="yes" comments="Ability to parse 
the am/pm format depends on actual locale. You can remove the am/pm values below for your locale if they are 
not supported.">Specify the time of print,
- e.g. 15:30, 2:35 pm, 14:15:20, 11:46:30 am, 4 pm</property>
+ e.g. 15∶30, 2∶35 pm, 14∶15∶20, 11∶46∶30 am, 4 pm</property>
                                 <property name="invisible_char">•</property>
                                 <property name="invisible_char_set">True</property>
                                 <child internal-child="accessible">
                                   <object class="AtkObject" id="print_at_entry-atkobject">
                                     <property name="AtkObject::accessible-name" translatable="yes">Time of 
print</property>
                                     <property name="AtkObject::accessible-description" 
translatable="yes">Specify the time of print,
- e.g. 15:30, 2:35 pm, 14:15:20, 11:46:30 am, 4 pm</property>
+ e.g. 15∶30, 2∶35 pm, 14∶15∶20, 11∶46∶30 am, 4 pm</property>
                                   </object>
                                 </child>
                                 <signal name="changed" handler="update_print_at_option" 
object="GtkPrintUnixDialog" swapped="yes"/>