diff options
| -rw-r--r-- | src/popupwin.c | 2 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/popupwin.c b/src/popupwin.c index 0af6d52de..59a0bdf78 100644 --- a/src/popupwin.c +++ b/src/popupwin.c @@ -3504,10 +3504,12 @@ may_update_popup_mask(int type) wp = mouse_find_win(&line_cp, &col_cp, IGNORE_POPUP); if (wp != NULL) { +#if defined(FEAT_TERMINAL) // A terminal window needs to be redrawn. if (bt_terminal(wp->w_buffer)) redraw_win_later(wp, NOT_VALID); else +#endif { if (wp != prev_wp) { diff --git a/src/version.c b/src/version.c index b7555b723..34acc6b69 100644 --- a/src/version.c +++ b/src/version.c @@ -755,6 +755,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1196, +/**/ 1195, /**/ 1194, |