Hacker News new | ask | show | jobs
by bzbarsky 3323 days ago
Note that there is UI for changing them in that "Colors..." section in preferences.
1 comments
unexistance 3322 days ago
duly noted

I just find it faster to use keyboard instead of mouse :D

link