Closed this issue 13 years ago · 1 comments
Please make the colors of highlighting configurable. (RGB color code options would be just fine)
done