Beta Released (12.0.0.35)

Editor:

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