2015-07-30 20:14:55 +02:00
|
|
|
package juloo.keyboard2;
|
|
|
|
|
2015-08-18 01:25:47 +02:00
|
|
|
import android.view.KeyCharacterMap;
|
2015-07-30 20:14:55 +02:00
|
|
|
import android.view.KeyEvent;
|
|
|
|
import java.util.HashMap;
|
|
|
|
|
2022-06-05 20:14:16 +02:00
|
|
|
final class KeyValue
|
2015-07-30 20:14:55 +02:00
|
|
|
{
|
2022-06-05 19:30:53 +02:00
|
|
|
public static enum Event
|
|
|
|
{
|
|
|
|
CONFIG,
|
|
|
|
SWITCH_TEXT,
|
|
|
|
SWITCH_NUMERIC,
|
|
|
|
SWITCH_EMOJI,
|
|
|
|
SWITCH_BACK_EMOJI,
|
|
|
|
CHANGE_METHOD,
|
|
|
|
ACTION,
|
2022-11-13 00:24:23 +01:00
|
|
|
SWITCH_SECOND,
|
|
|
|
SWITCH_SECOND_BACK,
|
2022-10-23 21:34:05 +02:00
|
|
|
SWITCH_GREEKMATH,
|
|
|
|
CAPS_LOCK,
|
2022-06-05 19:30:53 +02:00
|
|
|
}
|
|
|
|
|
2022-06-05 01:38:42 +02:00
|
|
|
// Must be evaluated in the reverse order of their values.
|
2022-06-05 19:30:53 +02:00
|
|
|
public static enum Modifier
|
|
|
|
{
|
|
|
|
SHIFT,
|
|
|
|
CTRL,
|
|
|
|
ALT,
|
|
|
|
META,
|
|
|
|
DOUBLE_AIGU,
|
|
|
|
DOT_ABOVE,
|
|
|
|
GRAVE,
|
|
|
|
AIGU,
|
|
|
|
CIRCONFLEXE,
|
|
|
|
TILDE,
|
|
|
|
CEDILLE,
|
|
|
|
TREMA,
|
|
|
|
SUPERSCRIPT,
|
|
|
|
SUBSCRIPT,
|
|
|
|
RING,
|
|
|
|
CARON,
|
|
|
|
MACRON,
|
|
|
|
ORDINAL,
|
|
|
|
ARROWS,
|
|
|
|
BOX,
|
|
|
|
OGONEK,
|
|
|
|
SLASH,
|
2022-10-15 23:28:36 +02:00
|
|
|
ARROW_RIGHT,
|
2022-11-05 10:29:36 +01:00
|
|
|
BREVE,
|
2022-11-05 19:26:49 +01:00
|
|
|
BAR,
|
2022-11-05 10:29:36 +01:00
|
|
|
FN, // Must be placed last to be applied first
|
2022-06-05 19:30:53 +02:00
|
|
|
}
|
2022-06-05 01:38:42 +02:00
|
|
|
|
2022-11-13 16:45:57 +01:00
|
|
|
public static enum Editing
|
|
|
|
{
|
|
|
|
COPY,
|
|
|
|
PASTE,
|
|
|
|
CUT,
|
|
|
|
SELECT_ALL,
|
2022-12-30 15:15:58 +01:00
|
|
|
PASTE_PLAIN,
|
|
|
|
UNDO,
|
|
|
|
REDO,
|
|
|
|
// Android context menu actions
|
|
|
|
REPLACE,
|
|
|
|
SHARE,
|
|
|
|
ASSIST,
|
|
|
|
AUTOFILL,
|
2022-11-13 16:45:57 +01:00
|
|
|
}
|
|
|
|
|
2023-01-30 21:29:59 +01:00
|
|
|
public static enum Placeholder
|
|
|
|
{
|
|
|
|
REMOVED,
|
|
|
|
F11,
|
|
|
|
F12
|
|
|
|
}
|
|
|
|
|
2022-11-13 15:19:50 +01:00
|
|
|
public static enum Kind
|
|
|
|
{
|
2023-01-30 21:29:59 +01:00
|
|
|
Char, String, Keyevent, Event, Modifier, Editing, Placeholder
|
2022-11-13 15:19:50 +01:00
|
|
|
}
|
|
|
|
|
2022-06-05 19:55:55 +02:00
|
|
|
// Behavior flags.
|
|
|
|
public static final int FLAG_LATCH = (1 << 20);
|
|
|
|
public static final int FLAG_LOCK = (1 << 21);
|
|
|
|
// Special keys are not repeated and don't clear latched modifiers.
|
|
|
|
public static final int FLAG_SPECIAL = (1 << 22);
|
2023-01-22 23:13:30 +01:00
|
|
|
// Free flag: (1 << 23);
|
2022-06-05 19:55:55 +02:00
|
|
|
// Rendering flags.
|
2022-11-11 19:15:25 +01:00
|
|
|
public static final int FLAG_KEY_FONT = (1 << 24); // special font file
|
|
|
|
public static final int FLAG_SMALLER_FONT = (1 << 25); // 25% smaller symbols
|
|
|
|
public static final int FLAG_SECONDARY = (1 << 26); // dimmer
|
2022-06-05 19:55:55 +02:00
|
|
|
// Used by [Pointers].
|
2022-11-11 19:15:25 +01:00
|
|
|
public static final int FLAG_LOCKED = (1 << 28);
|
|
|
|
public static final int FLAG_FAKE_PTR = (1 << 29);
|
2022-06-05 19:55:55 +02:00
|
|
|
|
|
|
|
// Ranges for the different components
|
|
|
|
private static final int FLAGS_BITS = (0b111111111 << 20); // 9 bits wide
|
|
|
|
private static final int KIND_BITS = (0b111 << 29); // 3 bits wide
|
|
|
|
private static final int VALUE_BITS = ~(FLAGS_BITS | KIND_BITS); // 20 bits wide
|
|
|
|
static
|
|
|
|
{
|
|
|
|
check((FLAGS_BITS & KIND_BITS) == 0); // No overlap
|
|
|
|
check((FLAGS_BITS | KIND_BITS | VALUE_BITS) == ~0); // No holes
|
|
|
|
}
|
2022-06-05 18:14:50 +02:00
|
|
|
|
2022-06-05 17:26:34 +02:00
|
|
|
private final String _symbol;
|
2022-06-05 01:38:42 +02:00
|
|
|
|
2022-11-13 15:19:50 +01:00
|
|
|
/** This field encodes three things: Kind, flags and value. */
|
2022-06-05 17:26:34 +02:00
|
|
|
private final int _code;
|
|
|
|
|
|
|
|
public Kind getKind()
|
|
|
|
{
|
2022-11-13 15:19:50 +01:00
|
|
|
return Kind.values()[(_code & KIND_BITS) >>> 29];
|
2022-06-05 17:26:34 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
public int getFlags()
|
|
|
|
{
|
2022-06-05 19:55:55 +02:00
|
|
|
return (_code & FLAGS_BITS);
|
2022-06-05 17:26:34 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
public boolean hasFlags(int has)
|
|
|
|
{
|
2022-06-05 19:55:55 +02:00
|
|
|
return ((_code & has) == has);
|
2022-06-05 17:26:34 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/** The string to render on the keyboard.
|
|
|
|
When [getKind() == Kind.String], also the string to send. */
|
|
|
|
public String getString()
|
|
|
|
{
|
|
|
|
return _symbol;
|
|
|
|
}
|
|
|
|
|
2022-06-05 19:30:53 +02:00
|
|
|
/** Defined only when [getKind() == Kind.Char]. */
|
2022-06-05 17:26:34 +02:00
|
|
|
public char getChar()
|
|
|
|
{
|
2022-06-05 19:55:55 +02:00
|
|
|
return (char)(_code & VALUE_BITS);
|
2022-06-05 17:26:34 +02:00
|
|
|
}
|
|
|
|
|
2022-06-05 19:30:53 +02:00
|
|
|
/** Defined only when [getKind() == Kind.Keyevent]. */
|
|
|
|
public int getKeyevent()
|
2022-06-05 17:26:34 +02:00
|
|
|
{
|
2022-06-05 19:55:55 +02:00
|
|
|
return (_code & VALUE_BITS);
|
2022-06-05 17:26:34 +02:00
|
|
|
}
|
|
|
|
|
2022-06-05 19:30:53 +02:00
|
|
|
/** Defined only when [getKind() == Kind.Event]. */
|
|
|
|
public Event getEvent()
|
2022-06-05 17:26:34 +02:00
|
|
|
{
|
2022-06-05 19:55:55 +02:00
|
|
|
return Event.values()[(_code & VALUE_BITS)];
|
2022-06-05 19:30:53 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/** Defined only when [getKind() == Kind.Modifier]. */
|
|
|
|
public Modifier getModifier()
|
|
|
|
{
|
2022-06-05 19:55:55 +02:00
|
|
|
return Modifier.values()[(_code & VALUE_BITS)];
|
2022-06-05 17:26:34 +02:00
|
|
|
}
|
2021-04-18 23:28:49 +02:00
|
|
|
|
2022-11-13 16:45:57 +01:00
|
|
|
/** Defined only when [getKind() == Kind.Editing]. */
|
|
|
|
public Editing getEditing()
|
|
|
|
{
|
|
|
|
return Editing.values()[(_code & VALUE_BITS)];
|
|
|
|
}
|
|
|
|
|
2023-01-30 21:29:59 +01:00
|
|
|
public Placeholder getPlaceholder()
|
|
|
|
{
|
|
|
|
return Placeholder.values()[(_code & VALUE_BITS)];
|
|
|
|
}
|
|
|
|
|
2021-05-08 02:00:47 +02:00
|
|
|
/* Update the char and the symbol. */
|
2022-06-05 18:14:50 +02:00
|
|
|
public KeyValue withChar(char c)
|
2021-05-08 02:00:47 +02:00
|
|
|
{
|
2022-11-13 15:19:50 +01:00
|
|
|
return new KeyValue(String.valueOf(c), Kind.Char, c, getFlags());
|
2021-05-08 02:00:47 +02:00
|
|
|
}
|
|
|
|
|
2022-06-05 18:14:50 +02:00
|
|
|
public KeyValue withString(String s)
|
2021-04-18 23:28:49 +02:00
|
|
|
{
|
2022-11-13 15:19:50 +01:00
|
|
|
return new KeyValue(s, Kind.String, 0, getFlags());
|
2021-04-18 23:28:49 +02:00
|
|
|
}
|
|
|
|
|
2022-06-06 00:23:45 +02:00
|
|
|
public KeyValue withSymbol(String s)
|
2022-03-06 19:36:09 +01:00
|
|
|
{
|
2022-06-06 00:23:45 +02:00
|
|
|
return new KeyValue(s, (_code & KIND_BITS), (_code & VALUE_BITS), getFlags());
|
2022-03-06 19:36:09 +01:00
|
|
|
}
|
|
|
|
|
2022-06-05 19:30:53 +02:00
|
|
|
public KeyValue withKeyevent(int code)
|
2022-06-05 17:44:00 +02:00
|
|
|
{
|
2022-11-13 15:19:50 +01:00
|
|
|
return new KeyValue(_symbol, Kind.Keyevent, code, getFlags());
|
2022-06-05 17:44:00 +02:00
|
|
|
}
|
|
|
|
|
2022-03-05 20:17:45 +01:00
|
|
|
public KeyValue withFlags(int f)
|
|
|
|
{
|
2022-06-06 00:23:45 +02:00
|
|
|
return new KeyValue(_symbol, (_code & KIND_BITS), (_code & VALUE_BITS), f);
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public boolean equals(Object obj)
|
|
|
|
{
|
|
|
|
KeyValue snd = (KeyValue)obj;
|
|
|
|
return _symbol.equals(snd._symbol) && _code == snd._code;
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public int hashCode()
|
|
|
|
{
|
|
|
|
return _symbol.hashCode() + _code;
|
2022-03-05 20:17:45 +01:00
|
|
|
}
|
|
|
|
|
2022-06-06 00:23:45 +02:00
|
|
|
public KeyValue(String s, int kind, int value, int flags)
|
2021-04-18 23:28:49 +02:00
|
|
|
{
|
2022-06-05 19:55:55 +02:00
|
|
|
check((kind & ~KIND_BITS) == 0);
|
|
|
|
check((flags & ~FLAGS_BITS) == 0);
|
|
|
|
check((value & ~VALUE_BITS) == 0);
|
2022-06-05 17:26:34 +02:00
|
|
|
_symbol = s;
|
2022-06-05 19:55:55 +02:00
|
|
|
_code = kind | flags | value;
|
2021-04-18 23:28:49 +02:00
|
|
|
}
|
|
|
|
|
2022-11-13 15:19:50 +01:00
|
|
|
public KeyValue(String s, Kind k, int v, int f)
|
|
|
|
{
|
|
|
|
this(s, (k.ordinal() << 29), v, f);
|
|
|
|
}
|
|
|
|
|
2023-01-29 19:38:54 +01:00
|
|
|
private static KeyValue charKey(String symbol, char c, int flags)
|
2021-04-18 23:28:49 +02:00
|
|
|
{
|
2023-01-29 19:38:54 +01:00
|
|
|
return new KeyValue(symbol, Kind.Char, c, flags);
|
2021-04-18 23:28:49 +02:00
|
|
|
}
|
2015-08-01 16:33:30 +02:00
|
|
|
|
2023-01-29 19:38:54 +01:00
|
|
|
private static KeyValue modifierKey(String symbol, Modifier m, int flags)
|
2021-04-18 21:58:13 +02:00
|
|
|
{
|
2022-10-23 21:42:03 +02:00
|
|
|
if (symbol.length() > 1)
|
|
|
|
flags |= FLAG_SMALLER_FONT;
|
2023-01-29 19:38:54 +01:00
|
|
|
return new KeyValue(symbol, Kind.Modifier, m.ordinal(),
|
2022-11-11 19:15:25 +01:00
|
|
|
FLAG_LATCH | FLAG_SPECIAL | FLAG_SECONDARY | flags);
|
2022-02-13 13:46:37 +01:00
|
|
|
}
|
|
|
|
|
2023-01-29 19:38:54 +01:00
|
|
|
private static KeyValue modifierKey(int symbol, Modifier m, int flags)
|
2022-10-15 23:28:36 +02:00
|
|
|
{
|
2023-01-29 19:38:54 +01:00
|
|
|
return modifierKey(String.valueOf((char)symbol), m, flags | FLAG_KEY_FONT);
|
2022-10-23 21:42:03 +02:00
|
|
|
}
|
|
|
|
|
2023-01-29 19:38:54 +01:00
|
|
|
private static KeyValue diacritic(int symbol, Modifier m)
|
2022-10-23 21:42:03 +02:00
|
|
|
{
|
2023-01-29 19:38:54 +01:00
|
|
|
return new KeyValue(String.valueOf((char)symbol), Kind.Modifier, m.ordinal(),
|
2022-11-11 19:15:25 +01:00
|
|
|
FLAG_LATCH | FLAG_SPECIAL | FLAG_KEY_FONT);
|
2022-10-15 23:28:36 +02:00
|
|
|
}
|
|
|
|
|
2023-01-29 19:38:54 +01:00
|
|
|
private static KeyValue eventKey(String symbol, Event e, int flags)
|
2022-02-13 13:46:37 +01:00
|
|
|
{
|
2023-01-29 19:38:54 +01:00
|
|
|
return new KeyValue(symbol, Kind.Event, e.ordinal(), flags | FLAG_SPECIAL | FLAG_SECONDARY);
|
2021-04-18 21:58:13 +02:00
|
|
|
}
|
|
|
|
|
2023-01-29 19:38:54 +01:00
|
|
|
private static KeyValue eventKey(int symbol, Event e, int flags)
|
2022-10-23 21:42:03 +02:00
|
|
|
{
|
2023-01-29 19:38:54 +01:00
|
|
|
return eventKey(String.valueOf((char)symbol), e, flags | FLAG_KEY_FONT);
|
2022-10-23 21:42:03 +02:00
|
|
|
}
|
|
|
|
|
2023-01-29 19:38:54 +01:00
|
|
|
private static KeyValue keyeventKey(String symbol, int code, int flags)
|
2021-04-19 22:29:20 +02:00
|
|
|
{
|
2023-01-29 19:38:54 +01:00
|
|
|
return new KeyValue(symbol, Kind.Keyevent, code, flags | FLAG_SECONDARY);
|
2021-04-19 22:29:20 +02:00
|
|
|
}
|
|
|
|
|
2023-01-29 19:38:54 +01:00
|
|
|
private static KeyValue keyeventKey(int symbol, int code, int flags)
|
2022-10-23 21:42:03 +02:00
|
|
|
{
|
2023-01-29 19:38:54 +01:00
|
|
|
return keyeventKey(String.valueOf((char)symbol), code, flags | FLAG_KEY_FONT);
|
2022-10-23 21:42:03 +02:00
|
|
|
}
|
|
|
|
|
2023-01-29 19:38:54 +01:00
|
|
|
private static KeyValue editingKey(String symbol, Editing action)
|
2022-11-13 16:45:57 +01:00
|
|
|
{
|
2023-01-29 19:38:54 +01:00
|
|
|
return new KeyValue(symbol, Kind.Editing, action.ordinal(),
|
2022-11-13 16:45:57 +01:00
|
|
|
FLAG_SPECIAL | FLAG_SECONDARY | FLAG_SMALLER_FONT);
|
|
|
|
}
|
|
|
|
|
2023-01-30 21:29:59 +01:00
|
|
|
/** A key that do nothing but has a unique ID. */
|
|
|
|
private static KeyValue placeholderKey(Placeholder id)
|
2022-06-06 00:23:45 +02:00
|
|
|
{
|
2023-01-30 21:29:59 +01:00
|
|
|
return new KeyValue("", Kind.Placeholder, id.ordinal(), 0);
|
2022-06-06 00:23:45 +02:00
|
|
|
}
|
|
|
|
|
2023-01-29 19:38:54 +01:00
|
|
|
private static KeyValue fallbackMakeKey(String name)
|
|
|
|
{
|
|
|
|
if (name.length() == 1)
|
|
|
|
return new KeyValue(name, Kind.Char, name.charAt(0), 0);
|
|
|
|
else
|
|
|
|
return new KeyValue(name, Kind.String, 0, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
public static KeyValue getKeyByName(String name)
|
2021-04-18 21:58:13 +02:00
|
|
|
{
|
2023-01-29 19:38:54 +01:00
|
|
|
switch (name)
|
|
|
|
{
|
|
|
|
case "shift": return modifierKey(0x0A, Modifier.SHIFT, 0);
|
|
|
|
case "ctrl": return modifierKey("Ctrl", Modifier.CTRL, 0);
|
|
|
|
case "alt": return modifierKey("Alt", Modifier.ALT, 0);
|
|
|
|
case "accent_aigu": return diacritic(0x50, Modifier.AIGU);
|
|
|
|
case "accent_caron": return diacritic(0x51, Modifier.CARON);
|
|
|
|
case "accent_cedille": return diacritic(0x52, Modifier.CEDILLE);
|
|
|
|
case "accent_circonflexe": return diacritic(0x53, Modifier.CIRCONFLEXE);
|
|
|
|
case "accent_grave": return diacritic(0x54, Modifier.GRAVE);
|
|
|
|
case "accent_macron": return diacritic(0x55, Modifier.MACRON);
|
|
|
|
case "accent_ring": return diacritic(0x56, Modifier.RING);
|
|
|
|
case "accent_tilde": return diacritic(0x57, Modifier.TILDE);
|
|
|
|
case "accent_trema": return diacritic(0x58, Modifier.TREMA);
|
|
|
|
case "accent_ogonek": return diacritic(0x59, Modifier.OGONEK);
|
|
|
|
case "accent_dot_above": return diacritic(0x5A, Modifier.DOT_ABOVE);
|
|
|
|
case "accent_double_aigu": return diacritic(0x5B, Modifier.DOUBLE_AIGU);
|
|
|
|
case "accent_slash": return diacritic(0x5C, Modifier.SLASH);
|
|
|
|
case "accent_arrow_right": return diacritic(0x5D, Modifier.ARROW_RIGHT);
|
|
|
|
case "accent_breve": return diacritic(0x5E, Modifier.BREVE);
|
|
|
|
case "accent_bar": return diacritic(0x5F, Modifier.BAR);
|
|
|
|
case "superscript": return modifierKey("Sup", Modifier.SUPERSCRIPT, 0);
|
|
|
|
case "subscript": return modifierKey("Sub", Modifier.SUBSCRIPT, 0);
|
|
|
|
case "ordinal": return modifierKey("Ord", Modifier.ORDINAL, 0);
|
|
|
|
case "arrows": return modifierKey("Arr", Modifier.ARROWS, 0);
|
|
|
|
case "box": return modifierKey("Box", Modifier.BOX, 0);
|
|
|
|
case "fn": return modifierKey("Fn", Modifier.FN, 0);
|
|
|
|
case "meta": return modifierKey("Meta", Modifier.META, 0);
|
|
|
|
|
|
|
|
case "config": return eventKey(0x04, Event.CONFIG, FLAG_SMALLER_FONT);
|
|
|
|
case "switch_text": return eventKey("ABC", Event.SWITCH_TEXT, FLAG_SMALLER_FONT);
|
|
|
|
case "switch_numeric": return eventKey("123+", Event.SWITCH_NUMERIC, FLAG_SMALLER_FONT);
|
|
|
|
case "switch_emoji": return eventKey(0x01, Event.SWITCH_EMOJI, FLAG_SMALLER_FONT);
|
|
|
|
case "switch_back_emoji": return eventKey("ABC", Event.SWITCH_BACK_EMOJI, 0);
|
|
|
|
case "switch_second": return eventKey(0x13, Event.SWITCH_SECOND, FLAG_SMALLER_FONT);
|
|
|
|
case "switch_second_back": return eventKey(0x14, Event.SWITCH_SECOND_BACK, FLAG_SMALLER_FONT);
|
|
|
|
case "switch_greekmath": return eventKey("πλ∇¬", Event.SWITCH_GREEKMATH, FLAG_SMALLER_FONT);
|
|
|
|
case "change_method": return eventKey(0x09, Event.CHANGE_METHOD, FLAG_SMALLER_FONT);
|
|
|
|
case "action": return eventKey("Action", Event.ACTION, FLAG_SMALLER_FONT); // Will always be replaced
|
|
|
|
case "capslock": return eventKey(0x12, Event.CAPS_LOCK, 0);
|
|
|
|
|
|
|
|
case "esc": return keyeventKey("Esc", KeyEvent.KEYCODE_ESCAPE, FLAG_SMALLER_FONT);
|
|
|
|
case "enter": return keyeventKey(0x0E, KeyEvent.KEYCODE_ENTER, 0);
|
|
|
|
case "up": return keyeventKey(0x05, KeyEvent.KEYCODE_DPAD_UP, 0);
|
|
|
|
case "right": return keyeventKey(0x06, KeyEvent.KEYCODE_DPAD_RIGHT, 0);
|
|
|
|
case "down": return keyeventKey(0x07, KeyEvent.KEYCODE_DPAD_DOWN, 0);
|
|
|
|
case "left": return keyeventKey(0x08, KeyEvent.KEYCODE_DPAD_LEFT, 0);
|
|
|
|
case "page_up": return keyeventKey(0x02, KeyEvent.KEYCODE_PAGE_UP, 0);
|
|
|
|
case "page_down": return keyeventKey(0x03, KeyEvent.KEYCODE_PAGE_DOWN, 0);
|
|
|
|
case "home": return keyeventKey(0x0B, KeyEvent.KEYCODE_MOVE_HOME, 0);
|
|
|
|
case "end": return keyeventKey(0x0C, KeyEvent.KEYCODE_MOVE_END, 0);
|
|
|
|
case "backspace": return keyeventKey(0x11, KeyEvent.KEYCODE_DEL, 0);
|
|
|
|
case "delete": return keyeventKey(0x10, KeyEvent.KEYCODE_FORWARD_DEL, 0);
|
|
|
|
case "insert": return keyeventKey("Ins", KeyEvent.KEYCODE_INSERT, FLAG_SMALLER_FONT);
|
|
|
|
case "f1": return keyeventKey("F1", KeyEvent.KEYCODE_F1, 0);
|
|
|
|
case "f2": return keyeventKey("F2", KeyEvent.KEYCODE_F2, 0);
|
|
|
|
case "f3": return keyeventKey("F3", KeyEvent.KEYCODE_F3, 0);
|
|
|
|
case "f4": return keyeventKey("F4", KeyEvent.KEYCODE_F4, 0);
|
|
|
|
case "f5": return keyeventKey("F5", KeyEvent.KEYCODE_F5, 0);
|
|
|
|
case "f6": return keyeventKey("F6", KeyEvent.KEYCODE_F6, 0);
|
|
|
|
case "f7": return keyeventKey("F7", KeyEvent.KEYCODE_F7, 0);
|
|
|
|
case "f8": return keyeventKey("F8", KeyEvent.KEYCODE_F8, 0);
|
|
|
|
case "f9": return keyeventKey("F9", KeyEvent.KEYCODE_F9, 0);
|
|
|
|
case "f10": return keyeventKey("F10", KeyEvent.KEYCODE_F10, 0);
|
|
|
|
case "f11": return keyeventKey("F11", KeyEvent.KEYCODE_F11, FLAG_SMALLER_FONT);
|
|
|
|
case "f12": return keyeventKey("F12", KeyEvent.KEYCODE_F12, FLAG_SMALLER_FONT);
|
|
|
|
case "tab": return keyeventKey(0x0F, KeyEvent.KEYCODE_TAB, FLAG_SMALLER_FONT);
|
|
|
|
|
|
|
|
case "\\t": return charKey("\\t", '\t', 0); // Send the tab character
|
|
|
|
case "space": return charKey("\r", ' ', FLAG_KEY_FONT | FLAG_SECONDARY);
|
|
|
|
case "nbsp": return charKey("\u237d", '\u00a0', FLAG_SMALLER_FONT);
|
|
|
|
|
2023-01-30 21:29:59 +01:00
|
|
|
case "removed": return placeholderKey(Placeholder.REMOVED);
|
|
|
|
case "f11_placeholder": return placeholderKey(Placeholder.F11);
|
|
|
|
case "f12_placeholder": return placeholderKey(Placeholder.F12);
|
2023-01-29 19:38:54 +01:00
|
|
|
|
|
|
|
case "copy": return editingKey("copy", Editing.COPY);
|
|
|
|
case "paste": return editingKey("paste", Editing.PASTE);
|
|
|
|
case "cut": return editingKey("cut", Editing.CUT);
|
|
|
|
case "selectAll": return editingKey("s. all", Editing.SELECT_ALL);
|
|
|
|
case "shareText": return editingKey("share", Editing.SHARE);
|
|
|
|
case "pasteAsPlainText": return editingKey("<paste>", Editing.PASTE_PLAIN);
|
|
|
|
case "undo": return editingKey("undo", Editing.UNDO);
|
|
|
|
case "redo": return editingKey("redo", Editing.REDO);
|
|
|
|
case "replaceText": return editingKey("repl.", Editing.REPLACE);
|
|
|
|
case "textAssist": return editingKey("assist", Editing.ASSIST);
|
|
|
|
case "autofill": return editingKey("auto.", Editing.AUTOFILL);
|
|
|
|
default: return fallbackMakeKey(name);
|
|
|
|
}
|
2021-04-18 21:58:13 +02:00
|
|
|
}
|
2022-06-05 19:55:55 +02:00
|
|
|
|
2022-10-23 21:51:43 +02:00
|
|
|
static final HashMap<String, String> keys_descr = new HashMap<String, String>();
|
|
|
|
|
|
|
|
/* Some keys have a description attached. Return [null] if otherwise. */
|
|
|
|
public static String getKeyDescription(String name)
|
|
|
|
{
|
|
|
|
return keys_descr.get(name);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void addKeyDescr(String name, String descr)
|
|
|
|
{
|
|
|
|
keys_descr.put(name, descr);
|
|
|
|
}
|
|
|
|
|
|
|
|
static {
|
|
|
|
/* Keys description is shown in the settings. */
|
|
|
|
addKeyDescr("capslock", "Caps lock");
|
|
|
|
addKeyDescr("switch_greekmath", "Greek & math symbols");
|
|
|
|
}
|
|
|
|
|
2022-06-05 19:55:55 +02:00
|
|
|
// Substitute for [assert], which has no effect on Android.
|
|
|
|
private static void check(boolean b)
|
|
|
|
{
|
|
|
|
if (!b)
|
|
|
|
throw new RuntimeException("Assertion failure");
|
|
|
|
}
|
2015-07-30 20:14:55 +02:00
|
|
|
}
|