3 # These were the old defaults
5 medium = green, lightgray
6 normal = black, lightgray
7 selected = lightgray, magenta
8 jump_arrows = blue, lightgray
9 addr = magenta, lightgray
13 # Defaults if linked with libslang
20 # Default, disable using /dev/null