Lazarus

Miscellaneous => Suggestions => IDE/CodeTools => Topic started by: CryHam on March 16, 2019, 06:15:25 pm

Title: Overview gutter background, colors in options
Post by: CryHam on March 16, 2019, 06:15:25 pm

Hi.
Firstly thank you for this Great IDE.
The Overview gutter is very useful.
But with my dark theme, it is too bright to show. I'm attaching a screenshot.
I don't see any options to change its background color. Is it possible?
If not I'd suggest adding it. And if possible also adding all other colors on it (like bookmarks, changes). I'm pretty sure they need to be different for white/black themes and it'd be great to let users customize them too.

Regards
CryHam

Title: Re: Overview gutter background, colors in options
Post by: Martin_fr on March 16, 2019, 06:30:18 pm

The overview gutter colors could be made configurable.
Best to do a feature request on the bug tracker, so it wont be forgotten.

If you want to add a patch, look at ide/EditorOptions  search for tokens starting with aha to see how colors are handled, and then track them to where they are set.

The bookmarks (and breakpoint symbols) are images. So they cannot be changed in the same way.
It would require loading a separate set of icons. That has to be done from scratch.