patch 8.1.0707: text property columns are not adjusted for changed indent

Problem: Text property columns are not adjusted for changed indent. Solution: Adjust text properties.
2019-01-08 23:07:24 +01:00
parent e12bab3144
commit 663bc89bbb
3 changed files with 47 additions and 6 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -799,6 +799,8 @@ static char *(features[]) =

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