Re: [egit-dev] Code mining annotations for Git

[Mickael Istria <mistria@xxxxxxxxxx>]

On Thu, May 24, 2018 at 6:43 PM, Angelo zerr <angelo.zerr@xxxxxxxxx> wrote:

> Is there a preference to customise font and colour of the mining annotations ?

No, please create an issue to Eclipse Platform to customize that with a preferences. I think it's important that @Mickael Istria is aware about this featur

The color should be the same as the one for line numbers as this color represents non-content text in the editor. I believe both should also share the same preferences and that a new preference should be avoided.

But specific code minings can (or at least should be able to) use specific colors. If they do so, it's up to the plugin providing the code mining to create a dedicated preference for its dedicated code minings.

--

Mickael Istria

Eclipse IDE developer, for Red Hat Developers