Re: [platform-text-dev] How to improve editor highlighting?

[Jyrinx <jyrinx_list@xxxxxxxxxxxxxx>]

Daniel Megert wrote:

> If you want to help with bug 41867 you will need to add new color constants
> (see PreferenceConstants), add UI to change them to
> AppearancePreferencePage and use those new constants where appropriate.
> Once you have those changes ready, create a patch against
> org.eclipse.jdt.ui and attach it to the bug report.
>  

Okay, I've given it a shot :-) I added a patch to #41867, with some notes.

Luke Maurer
maurerl@xxxxxxxxxxxx