Use VGA colors
6d3169346bd75620335f0710006ad6e807c00066
1 parent
f18e46ea
.st/config.h
+16 -16
| 84 | 84 | static unsigned int tabspaces = 8; |
|
| 85 | 85 | ||
| 86 | 86 | /* Terminal colors (16 first used in escape sequence) */ |
|
| 87 | 87 | static const char *colorname[] = { |
|
| 88 | 88 | /* 8 normal colors */ |
|
| 89 | - | "black", |
|
| 90 | - | "red3", |
|
| 91 | - | "green3", |
|
| 92 | - | "yellow3", |
|
| 93 | - | "blue2", |
|
| 94 | - | "magenta3", |
|
| 95 | - | "cyan3", |
|
| 96 | - | "gray90", |
|
| 89 | + | "#000000", |
|
| 90 | + | "#aa0000", |
|
| 91 | + | "#00AA00", |
|
| 92 | + | "yellow", |
|
| 93 | + | "#0000AA", |
|
| 94 | + | "#AA00AA", |
|
| 95 | + | "#00AAAA", |
|
| 96 | + | "#AAAAAA", |
|
| 97 | 97 | ||
| 98 | 98 | /* 8 bright colors */ |
|
| 99 | - | "gray50", |
|
| 100 | - | "red", |
|
| 101 | - | "green", |
|
| 102 | - | "yellow", |
|
| 103 | - | "#5c5cff", |
|
| 104 | - | "magenta", |
|
| 105 | - | "cyan", |
|
| 106 | - | "white", |
|
| 99 | + | "#666666", |
|
| 100 | + | "#FF5555", |
|
| 101 | + | "#55FF55", |
|
| 102 | + | "#FFFF55", |
|
| 103 | + | "#5555FF", |
|
| 104 | + | "#FF55FF", |
|
| 105 | + | "#55FFFF", |
|
| 106 | + | "#FFFFFF", |
|
| 107 | 107 | ||
| 108 | 108 | [255] = 0, |
|
| 109 | 109 | ||
| 110 | 110 | /* more colors can be added after 255 to use with DefaultXX */ |
|
| 111 | 111 | "darkred", |