patch 8.0.0755: terminal window does not have colors in the GUI

Problem: Terminal window does not have colors in the GUI. Solution: Lookup the GUI color.
2017-07-23 16:45:10 +02:00
parent eeac677886
commit 26af85d97b
16 changed files with 100 additions and 14 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -769,6 +769,8 @@ static char *(features[]) =

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