Closed GoogleCodeExporter closed 9 years ago
This happens, because mapped_ctrl_c is never reset.
This patch fixes it:
diff --git a/src/getchar.c b/src/getchar.c
--- a/src/getchar.c
+++ b/src/getchar.c
@@ -3707,6 +3707,9 @@ do_map(maptype, arg, mode, abbrev)
{
if (!did_it)
retval = 2; /* no match */
+ else if (*keys == Ctrl_C)
+ /* If CTRL-C has been unmapped, reuse it for Interrupting */
+ mapped_ctrl_c = FALSE;
goto theend;
}
Original comment by chrisbr...@googlemail.com
on 30 Sep 2014 at 8:25
Fixed by 7.4.468
Original comment by chrisbr...@googlemail.com
on 9 Oct 2014 at 1:04
Thank you very much, Christian!
Original comment by marcmo...@gmail.com
on 9 Oct 2014 at 1:17
Original issue reported on code.google.com by
marcmo...@gmail.com
on 10 Oct 2011 at 12:13Attachments: