diff --git a/src/globals.h b/src/globals.h index d0938fda64..d420560988 100644 --- a/src/globals.h +++ b/src/globals.h @@ -1671,6 +1671,10 @@ EXTERN int did_echo_string_emsg INIT(= FALSE); EXTERN int *eval_lavars_used INIT(= NULL); #endif +#ifdef WIN3264 +EXTERN int ctrl_break_was_pressed = FALSE; +#endif + /* * Optional Farsi support. Include it here, so EXTERN and INIT are defined. */ diff --git a/src/gui_w32.c b/src/gui_w32.c index a91e0710be..863975c7f4 100644 --- a/src/gui_w32.c +++ b/src/gui_w32.c @@ -1840,6 +1840,7 @@ process_message(void) { trash_input_buf(); got_int = TRUE; + ctrl_break_was_pressed = TRUE; string[0] = Ctrl_C; add_to_input_buf(string, 1); } diff --git a/src/os_win32.c b/src/os_win32.c index add83d3444..496f95f720 100644 --- a/src/os_win32.c +++ b/src/os_win32.c @@ -6296,6 +6296,7 @@ mch_breakcheck(int force) #ifndef FEAT_GUI_W32 /* never used */ if (g_fCtrlCPressed || g_fCBrkPressed) { + ctrl_break_was_pressed = g_fCBrkPressed; g_fCtrlCPressed = g_fCBrkPressed = FALSE; got_int = TRUE; } diff --git a/src/terminal.c b/src/terminal.c index 18fed65f03..63e1cec5f5 100644 --- a/src/terminal.c +++ b/src/terminal.c @@ -1016,6 +1016,9 @@ term_vgetc() ++no_mapping; ++allow_keys; got_int = FALSE; +#ifdef WIN3264 + ctrl_break_was_pressed = FALSE; +#endif c = vgetc(); got_int = FALSE; --no_mapping; @@ -1201,11 +1204,14 @@ terminal_loop(void) may_send_sigint(c, curbuf->b_term->tl_job->jv_pid, 0); #endif #ifdef WIN3264 + /* On Windows we do not know whether the job can handle CTRL-C itself + * or not. Therefore CTRL-C only sends a CTRL_C_EVENT to avoid killing + * the shell instead of a command running in the shell. + * Use CTRL-BREAK to kill the job. */ if (c == Ctrl_C) - /* We don't know if the job can handle CTRL-C itself or not, this - * may kill the shell instead of killing the command running in the - * shell. */ - mch_signal_job(curbuf->b_term->tl_job, (char_u *)"quit"); + mch_signal_job(curbuf->b_term->tl_job, (char_u *)"int"); + if (ctrl_break_was_pressed) + mch_signal_job(curbuf->b_term->tl_job, (char_u *)"kill"); #endif if (c == (termkey == 0 ? Ctrl_W : termkey) || c == Ctrl_BSL) diff --git a/src/version.c b/src/version.c index 2d16a644c2..314b62dbfe 100644 --- a/src/version.c +++ b/src/version.c @@ -769,6 +769,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 913, /**/ 912, /**/