patch 8.0.1715: terminal buffer can be 1 more than 'terminalscroll' lines

Problem: Terminal buffer can be 1 more than 'terminalscroll' lines. Solution: Change > to >=.
2018-04-15 12:55:13 +02:00
parent 6e72cd0d72
commit 8c94a54905
2 changed files with 3 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -762,6 +762,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1715,
 /**/
    1714,
 /**/