diff --git a/src/gui.c b/src/gui.c index e4745547dd..5d003a38b2 100644 --- a/src/gui.c +++ b/src/gui.c @@ -5588,7 +5588,10 @@ check_for_interrupt(int key, int modifiers_arg) int c = merge_modifyOtherKeys(key, &modifiers); if ((c == Ctrl_C && ctrl_c_interrupts) - || (intr_char != Ctrl_C && c == intr_char)) +#ifdef UNIX + || (intr_char != Ctrl_C && c == intr_char) +#endif + ) { got_int = TRUE; return c; diff --git a/src/version.c b/src/version.c index 931793ec7f..bf22a76d9c 100644 --- a/src/version.c +++ b/src/version.c @@ -754,6 +754,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1336, /**/ 1335, /**/