diff options
| -rw-r--r-- | src/ui.c | 7 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 7 insertions, 2 deletions
@@ -1014,11 +1014,14 @@ fill_input_buf(int exit_on_error UNUSED) { /* * If a CTRL-C was typed, remove it from the buffer and set - * got_int. Also recognize CTRL-C with modifyOtherKeys set. + * got_int. Also recognize CTRL-C with modifyOtherKeys set, in two + * forms. */ if (ctrl_c_interrupts && (inbuf[inbufcount] == 3 || (len >= 9 && STRNCMP(inbuf + inbufcount, - "\033[27;5;99~", 10) == 0))) + "\033[27;5;99~", 10) == 0) + || (len >= 7 && STRNCMP(inbuf + inbufcount, + "\033[99;5u", 7) == 0))) { // remove everything typed before the CTRL-C mch_memmove(inbuf, inbuf + inbufcount, (size_t)(len + 1)); diff --git a/src/version.c b/src/version.c index 458c3a05b4..e6df8768a3 100644 --- a/src/version.c +++ b/src/version.c @@ -751,6 +751,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 2275, +/**/ 2274, /**/ 2273, |