OK, so I used that config because there was only the default and alt themes in my setup at the time, and then I forgot about it and couldn't "fix" it. So the right fix was to disable that and get a real color theme (in fact I got the whole git repo...

And the rant about missing FAQ entry is now also kind of moot (a quick'n'dirty entry wouldn't hurt)

Thanks all

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.