Merge #7463 'incsearch + hlsearch highlight all'

This commit is contained in:
Justin M. Keyes
2018-02-01 23:25:55 +01:00
5 changed files with 230 additions and 18 deletions

View File

@@ -101,10 +101,10 @@ static const int included_patches[] = {
// 1399,
// 1398,
// 1397,
// 1396,
1396,
// 1395,
// 1394,
// 1393,
1393,
// 1392,
// 1391,
// 1390,
@@ -193,7 +193,7 @@ static const int included_patches[] = {
// 1307,
// 1306,
// 1305,
// 1304,
1304,
// 1303,
// 1302,
// 1301,
@@ -247,7 +247,7 @@ static const int included_patches[] = {
// 1253,
// 1252,
// 1251,
// 1250,
1250,
// 1249,
// 1248,
// 1247,
@@ -259,7 +259,7 @@ static const int included_patches[] = {
// 1241,
// 1240,
// 1239,
// 1238,
1238,
// 1237,
// 1236,
// 1235,