Fix space key without a symbol

The symbol on the space key was accidentally lost in be97364 when the
string "\r" (Java's only way to write "\x0D") was not replaced by
"\xE00D".
This commit is contained in:
Jules Aguillon 2024-04-03 23:55:38 +02:00
parent 5e3a3f894b
commit 78f85e52a2

View File

@ -265,6 +265,11 @@ public final class KeyValue implements Comparable<KeyValue>
return new KeyValue(symbol, Kind.Char, c, flags); return new KeyValue(symbol, Kind.Char, c, flags);
} }
private static KeyValue charKey(int symbol, char c, int flags)
{
return charKey(String.valueOf((char)symbol), c, flags);
}
private static KeyValue modifierKey(String symbol, Modifier m, int flags) private static KeyValue modifierKey(String symbol, Modifier m, int flags)
{ {
if (symbol.length() > 1) if (symbol.length() > 1)
@ -447,7 +452,7 @@ public final class KeyValue implements Comparable<KeyValue>
/* Spaces */ /* Spaces */
case "\\t": return charKey("\\t", '\t', 0); // Send the tab character case "\\t": return charKey("\\t", '\t', 0); // Send the tab character
case "space": return charKey("\r", ' ', FLAG_KEY_FONT | FLAG_SECONDARY); case "space": return charKey(0xE00D, ' ', FLAG_KEY_FONT | FLAG_SMALLER_FONT | FLAG_GREYED);
case "nbsp": return charKey("\u237d", '\u00a0', FLAG_SMALLER_FONT); case "nbsp": return charKey("\u237d", '\u00a0', FLAG_SMALLER_FONT);
/* bidi */ /* bidi */