Lerking/gtk
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Use a better glyph for space

Browse Source 
Unicode has ␣, lets use it.
This commit is contained in:
Matthias Clasen
2015-10-12 12:44:52 -04:00
parent 54c4961278
commit 7905ee8bcc
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
gtk/gtkshortcutlabel.c
View File

@@ -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;