mars
|
742ed97819
|
Defer stdout flush until end of draw
|
2023-04-12 17:50:14 -04:00 |
mars
|
7d46cbcf9b
|
Live theme reload
|
2023-04-12 17:13:20 -04:00 |
mars
|
51622bf6fd
|
Ignore style modifiers and underline for now
|
2023-04-12 12:41:22 -04:00 |
mars
|
7137744122
|
Merge palette table with default palette
|
2023-04-12 12:41:08 -04:00 |
mars
|
78b24c4203
|
Support 0-length scopes
|
2023-04-12 12:40:39 -04:00 |
mars
|
86bbfcda60
|
Add Style::apply()
|
2023-04-12 12:40:16 -04:00 |
mars
|
ce13258ca7
|
Make Style::print_styled() generic over Display
|
2023-04-12 12:40:06 -04:00 |
mars
|
1f9ba13620
|
Add basic theming
|
2023-04-11 23:34:24 -04:00 |