diff options
author | Daniel Lange <DLange@git.local> | 2020-12-23 18:59:51 +0100 |
---|---|---|
committer | BenBE <BenBE@geshi.org> | 2020-12-25 11:53:02 +0100 |
commit | 8b83a9f0553b317f06e289138cd9e318f6bddf30 (patch) | |
tree | cea16ac72ca835239c2f253dd87f10b0786cad8b /CRT.c | |
parent | 1cc3f8074f710dbd30e82cdb3e558106535e51d1 (diff) |
Enable going back to previous search matches (Shift-F3)
Diffstat (limited to 'CRT.c')
-rw-r--r-- | CRT.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -689,6 +689,7 @@ void CRT_init(const int* delay, int colorScheme, bool allowUnicode) { define_key("\033[12~", KEY_F(2)); define_key("\033[13~", KEY_F(3)); define_key("\033[14~", KEY_F(4)); + define_key("\033[14;2~", KEY_F(15)); define_key("\033[17;2~", KEY_F(18)); char sequence[3] = "\033a"; for (char c = 'a'; c <= 'z'; c++) { |