diff --git a/gtk/gtkshortcutlabel.c b/gtk/gtkshortcutlabel.c index 633c9011e5..a6d1b7e707 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;