in core/src/com/jediterm/terminal/TerminalKeyEncoder.java [31:67]
public TerminalKeyEncoder(@NotNull Platform platform) {
myPlatform = platform;
setAutoNewLine(false);
arrowKeysAnsiCursorSequences();
configureLeftRight();
keypadAnsiSequences();
putCode(VK_BACK_SPACE, Ascii.DEL);
putCode(VK_F1, ESC, 'O', 'P');
putCode(VK_F2, ESC, 'O', 'Q');
putCode(VK_F3, ESC, 'O', 'R');
putCode(VK_F4, ESC, 'O', 'S');
putCode(VK_F5, ESC, '[', '1', '5', '~');
putCode(VK_F6, ESC, '[', '1', '7', '~');
putCode(VK_F7, ESC, '[', '1', '8', '~');
putCode(VK_F8, ESC, '[', '1', '9', '~');
putCode(VK_F9, ESC, '[', '2', '0', '~');
putCode(VK_F10, ESC, '[', '2', '1', '~');
putCode(VK_F11, ESC, '[', '2', '3', '~');
putCode(VK_F12, ESC, '[', '2', '4', '~');
putCode(VK_INSERT, ESC, '[', '2', '~');
putCode(VK_DELETE, ESC, '[', '3', '~');
putCode(VK_PAGE_UP, ESC, '[', '5', '~');
putCode(VK_PAGE_DOWN, ESC, '[', '6', '~');
putCode(VK_HOME, ESC, '[', 'H');
putCode(VK_END, ESC, '[', 'F');
putCode(new KeyCodeAndModifier(VK_TAB, InputEvent.SHIFT_MASK), ESC, '[', 'Z');
putCode(new KeyCodeAndModifier(VK_BACK_SPACE, InputEvent.CTRL_MASK), VK_BACK_SPACE);
if (Platform.isMacOS()) {
putCode(new KeyCodeAndModifier(VK_LEFT, InputEvent.META_MASK), Ascii.SOH);
putCode(new KeyCodeAndModifier(VK_RIGHT, InputEvent.META_MASK), Ascii.ENQ);
}
}