1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
/* Terminal colors (16 first used in escape sequence) */
static const char *colorname[] = {
/* 8 normal colors */
[0] = "#4e4e4e", /* black */
[1] = "#af5f5f", /* red */
[2] = "#5f885f", /* green */
[3] = "#af8760", /* yellow */
[4] = "#5f87ae", /* blue */
[5] = "#875f87", /* magenta */
[6] = "#5f8787", /* cyan */
[7] = "#938f8f", /* white */
/* 8 bright colors */
[8] = "#3a3a3a", /* black */
[9] = "#870100", /* red */
[10] = "#005f00", /* green */
[11] = "#d8865f", /* yellow */
[12] = "#0087af", /* blue */
[13] = "#87025f", /* magenta */
[14] = "#008787", /* cyan */
[15] = "#3a3a3a", /* white */
/* special colors */
[256] = "#dadada", /* background */
[257] = "#4e4e4e", /* foreground */
[258] = "#4e4e4e", /* cursor */
[259] = "#dadada", /* cursor-inverse */
};
/*
* Default colors (colorname index)
* foreground, background, cursor, reverse cursor
*/
unsigned int defaultbg = 256;
unsigned int defaultfg = 257;
unsigned int defaultcs = 258;
unsigned int defaultrcs = 259;
|
