patch 7.4.2182
Problem: Color Grey40 used in startup but not in the short list.
Solution: Add Grey40 to the builtin colors.
diff --git a/src/term.c b/src/term.c
index 6af82db..344fabc 100644
--- a/src/term.c
+++ b/src/term.c
@@ -6104,6 +6104,7 @@
{(char_u *)"gray", RGB(0xBE, 0xBE, 0xBE)},
{(char_u *)"green", RGB(0x00, 0xFF, 0x00)},
{(char_u *)"grey", RGB(0xBE, 0xBE, 0xBE)},
+ {(char_u *)"grey40", RGB(0x66, 0x66, 0x66)},
{(char_u *)"grey90", RGB(0xE5, 0xE5, 0xE5)},
{(char_u *)"lightblue", RGB(0xAD, 0xD8, 0xE6)},
{(char_u *)"lightcyan", RGB(0xE0, 0xFF, 0xFF)},