Editor:
Added ability to change highlighter color. Editor -> Display -> Highlighter Color. Still defaults to maroon.