diff --git a/src/screen.c b/src/screen.c index ca13709971..b33a000d73 100644 --- a/src/screen.c +++ b/src/screen.c @@ -1637,6 +1637,10 @@ win_update(wp) && hasAnyFolding(wp)) || # endif syntax_check_changed(lnum))) +#endif +#ifdef FEAT_SEARCH_EXTRA + /* match in fixed position might need redraw */ + || wp->w_match_head != NULL #endif ))))) { diff --git a/src/version.c b/src/version.c index 3f46c23293..d0380a4f10 100644 --- a/src/version.c +++ b/src/version.c @@ -728,6 +728,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1203, /**/ 1202, /**/