PyREPL color themes

Tip: you don’t need to set all the colours (like this), instead you can use default_theme.copy_with() and then only change the ones you want to.

See the big comment in _colorize.py.

3 Likes