Region highlighting is still messed up. Will this be fixed in an upcoming build? I'm still reverted to 3147.
I certainly hope not. I'm still stuck on 3147 because of the regions issue.
From what I understand it's currently impossible to do what ColorHighlighter wants to do, because you can't set specific colors to regions.