[gtk+] GtkPageSetup: Improve formatting of size

[Matthias Clasen <matthiasc src gnome org>]

commit 209d2a83c42fa3fec270311a352bbb5775c6fbd2
Author: Matthias Clasen <mclasen redhat com>
Date:   Thu Aug 21 17:01:54 2014 -0400

    GtkPageSetup: Improve formatting of size
    
    Use U+00D7 MULTIPLICATION SIGN and U+200A HAIR SPACE instead of plain
    old 'x' and ' ', following https://wiki.gnome.org/Design/OS/Typography.
    
    Sadly, many fonts don't have space variations, so Pango/harfbuzz fall
    back to using the regular space glyph anyway.

 gtk/gtkpagesetupunixdialog.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtkpagesetupunixdialog.c b/gtk/gtkpagesetupunixdialog.c
index 590de9b..d24d34a 100644
--- a/gtk/gtkpagesetupunixdialog.c
+++ b/gtk/gtkpagesetupunixdialog.c
@@ -143,7 +143,7 @@ static const gchar common_paper_sizes[][16] = {
   "iso_dl",
   "jpn_chou3",
   "na_ledger",
-  "iso_a3",
+  "iso_a3"
 };
 
 
@@ -818,7 +818,7 @@ paper_size_changed (GtkComboBox            *combo_box,
                             unit);
       h = double_to_string (gtk_page_setup_get_paper_height (page_setup, unit),
                             unit);
-      str = g_strdup_printf ("%s x %s %s", w, h, unit_str);
+      str = g_strdup_printf ("%s × %s %s", w, h, unit_str);
       g_free (w);
       g_free (h);