Recent

Author Topic: Overview gutter background, colors in options  (Read 588 times)

CryHam

  • Newbie
  • Posts: 1
Overview gutter background, colors in options
« 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

Martin_fr

  • Administrator
  • Hero Member
  • *
  • Posts: 5630
    • wiki
Re: Overview gutter background, colors in options
« Reply #1 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.