[gtk+/wip/matthiasc/help-overlay] Use a better glyph for space

[Matthias Clasen <matthiasc src gnome org>]

commit 7905ee8bcce34f90aba04face3fd23648d884023
Author: Matthias Clasen <mclasen redhat com>
Date:   Mon Oct 12 12:44:52 2015 -0400

    Use a better glyph for space
    
    Unicode has ␣, lets use it.

 gtk/gtkshortcutlabel.c |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/gtk/gtkshortcutlabel.c b/gtk/gtkshortcutlabel.c
index 633c901..a6d1b7e 100644
--- a/gtk/gtkshortcutlabel.c
+++ b/gtk/gtkshortcutlabel.c
@@ -77,13 +77,10 @@ get_labels (guint key, GdkModifierType modifier)
     labels[i++] = C_("keyboard label", "Meta");
 
   ch = gdk_keyval_to_unicode (key);
-  if (ch && ch < 0x80 && (g_unichar_isgraph (ch) || ch == ' '))
+  if (ch && ch < 0x80 && g_unichar_isgraph (ch))
     {
       switch (ch)
         {
-        case ' ':
-          labels[i++] = C_("keyboard label", "Space");
-          break;
         case '\\':
           labels[i++] = C_("keyboard label", "Backslash");
           break;
@@ -110,6 +107,9 @@ get_labels (guint key, GdkModifierType modifier)
         case GDK_KEY_Down:
           labels[i++] = "\xe2\x86\x93";
           break;
+        case GDK_KEY_space:
+          labels[i++] = "\xe2\x90\xa3";
+          break;
         case GDK_KEY_Page_Up:
           labels[i++] = C_("keyboard label", "Page_Up");
           break;