Allow specifying a different style for diff indicator in vcs gutter #8343
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.
Currently the
diff.plus/minus/delta
keys are used both for the gutter indicator and the syntax highlighting (for example in.patch
files). This limits the abilities to theme the diffs nicely, as the background appear in the gutter line. For example, with existingpapercolor_light
theme this gives:It is also hard to find a good color as the gutter indicator needs to be very colored as it has a very small surface, but it forces a very bright text.
This change allows using a different style for the gutter diff indicator, allowing things like:
with:
Making it a subkey allows maintaining compatibility with existing themes. Another option could be to add it to the
ui
key with a fallback ondiff
.