jesopo
|
bbcde2d1d5
|
Use extended ANSI colors to avoid using bold to make colors lighter
|
2018-11-14 11:47:15 +00:00 |
|
jesopo
|
2fcde64bfd
|
'ANSI_RESET' -> 'ANSI_BOLD_RESET' typo, 'ansi_bold' -> 'color_bold'
clarification, fix issue in color tokenizing that caused bolds to be put in the
wrong place
|
2018-11-14 11:44:56 +00:00 |
|
jesopo
|
e5f068f660
|
Bold reset is 22, not 21
|
2018-11-13 18:19:37 +00:00 |
|
jesopo
|
d18d28f0a2
|
Apparently '39' is 'font reset' for ansi colors
|
2018-11-13 17:53:37 +00:00 |
|
jesopo
|
f1b54efe77
|
Visual tweak; align "="s in utils.consts
|
2018-11-13 17:43:00 +00:00 |
|
jesopo
|
7918f9cc4e
|
Better constifying of COLORs
|
2018-11-13 17:23:18 +00:00 |
|
jesopo
|
8b9062b942
|
Better constifying of color/font chars
|
2018-11-13 16:02:26 +00:00 |
|
jesopo
|
e07553c362
|
Add type/return hints throughout src/ and, in doing so, fix some cyclical
references.
|
2018-10-30 14:58:48 +00:00 |
|