|
@@ -5,7 +5,7 @@
|
|
medium = green, lightgray
|
|
medium = green, lightgray
|
|
normal = black, lightgray
|
|
normal = black, lightgray
|
|
selected = lightgray, magenta
|
|
selected = lightgray, magenta
|
|
- code = blue, lightgray
|
|
|
|
|
|
+ jump_arrows = blue, lightgray
|
|
addr = magenta, lightgray
|
|
addr = magenta, lightgray
|
|
|
|
|
|
[tui]
|
|
[tui]
|