diff options
Diffstat (limited to 'src/gui_w32.c')
| -rw-r--r-- | src/gui_w32.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gui_w32.c b/src/gui_w32.c index a91e0710b..863975c7f 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); } |