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
|
static const char *colorname[] = {
/* 8 normal colors */
[0] = "#242829",
[1] = "#df2683",
[2] = "#13868c",
[3] = "#fcfcdf",
[4] = "#1a86b9",
[5] = "#bc7fd2",
[6] = "#7cc7d6",
[7] = "#4a4b4b",
/* 8 bright colors */
[8] = "#7b8b99",
[9] = "#df2683",
[10] = "#13868c",
[11] = "#fcfcdf",
[12] = "#1a86b9",
[13] = "#bc7fd2",
[14] = "#7cc7d6",
[15] = "#dcd7d7",
};
/*
* Default colors (colorname index)
* foreground, background, cursor, reverse cursor
*/
unsigned int defaultfg = 15;
unsigned int defaultbg = 0;
unsigned int defaultcs = 15;
static unsigned int defaultrcs = 257;
|