// in Windows terminals, arrow keys are represented by
// a sequence of 2 characters. E.g., the up arrow
// key yields 224, 72
if (indicator == SPECIAL_KEY_INDICATOR.code || indicator == NUMPAD_KEY_INDICATOR.code) {
int c = readCharacter(in);
WindowsKey key = WindowsKey.valueOf(c);
switch (key) {
case UP_ARROW_KEY:
return Key.CTRL_P.code; // translate UP -> CTRL-P