Skip to content

Diff selection indicator line should use menu.separatorBackground instead of menu.border#228825

Merged
hediet merged 3 commits intomicrosoft:mainfrom
a-stewart:fix-diff-selection-line
Feb 13, 2025
Merged

Diff selection indicator line should use menu.separatorBackground instead of menu.border#228825
hediet merged 3 commits intomicrosoft:mainfrom
a-stewart:fix-diff-selection-line

Conversation

@a-stewart
Copy link
Contributor

@a-stewart a-stewart commented Sep 17, 2024

Fixes #228819

Currently the gutter icon background that shows the area of effect of a selection uses menu.border. The problem with this is that there is no default value for this and it is not defined in many themes, including almost all the themes that are bundled with VS Code.

Instead, using menu.separatorBackground, which does have a default value, will ensure that this indicator is visible across most themes.

@a-stewart
Copy link
Contributor Author

@hediet - is this something you would be able to take a quick look at please :)

@a-stewart
Copy link
Contributor Author

@hediet - friendly ping on this :)

@hediet hediet enabled auto-merge (squash) February 7, 2025 15:55
@hediet
Copy link
Member

hediet commented Feb 7, 2025

Thanks!

@vs-code-engineering vs-code-engineering bot added this to the February 2025 milestone Feb 7, 2025
@a-stewart
Copy link
Contributor Author

@hediet - some of the checks aren't running it says:

This workflow is awaiting approval from a maintainer in #228825

@hediet hediet merged commit eae2986 into microsoft:main Feb 13, 2025
7 checks passed
@vs-code-engineering vs-code-engineering bot locked and limited conversation to collaborators Mar 30, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Diff selection uses menu.border to highlight range which is not set for many themes

4 participants