Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Couldn't we instead use a default system color constant instead, like
COLOR_WIDGET_NORMAL_SHADOW_RGBA? The OS usually makes good choice regarding accessibility. Relying on them by default would probably prevent current, and future, trouble.Uh oh!
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What's the value of COLOR_WIDGET_NORMAL_SHADOW_RGBA on the different OSes?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The value depends on the theme used. One can run SWT's ControlExample - it has a tab that shows all these colors.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
On Linux it's 172,172,171 so actually brighter... But still, I don't think any color should be hardcoded, and we should instead rely on the OS, which may modify these values according to accessibility settings.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
177,172,171 is even worse:

So this does not help.
Uh oh!
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
By the way: I was also working with a real (UX) expert from my team on that topic.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Let's say, I don't disagree on merging it. It's indeed not worse from the screenshot.
It looks like this color is not overridden by the dark theme. Have you checked it with dark theme? Should the dark theme color be adjusted too?
Then (out of curiosity), can you please ask them how come that this line numbers are a problem for other Gnome-based apps seem happy with a lighter color for line numbers?
Also, 1 other thing maybe worth challenging in the choice of color can be "why sticking to greyscale"? VSCode or Visual Studio seem to be using some dark cyan color and it looks nice, maybe the color is even derived from the COLOR_LINK_FOREGROUND system color.
That can be a good inspiration.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I did check. It's overridden in the dark theme and contrast in the dark theme is ok.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I also checked VSCode. For VSCode there are a ton of themes and different themes do that differently. I also so that cyan-ish color but there are also themes that use a gresh-ish color.
I just wanted to stick to the "Eclipse way" and only make minimal changes.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What do you mean? You you please explain your question again?