diff options
| author | Mark Stosberg | 2024-02-12 16:48:10 +0000 |
|---|---|---|
| committer | GitHub | 2024-02-12 16:48:10 +0000 |
| commit | 0516337abb7096c7d909624a7e1307ee4b837835 (patch) | |
| tree | ec47291955ed3475fd7678f69f7b65380a75adb6 | |
| parent | bb1e2ddcd8c01256d81ae712090c4ca1e2d09561 (diff) | |
docs: Document that what the `diff` gutter symbol does (#9587)
Before there was no document about what the `diff` gutter is displaying
or what the colors mean.
These docs clarify it's a `git` diff and makes it easier to
cross-reference the theme if you aren't sure what the colors mean or
want to change them.
| -rw-r--r-- | book/src/configuration.md | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/book/src/configuration.md b/book/src/configuration.md index a43ede76..de33c1ad 100644 --- a/book/src/configuration.md +++ b/book/src/configuration.md @@ -340,7 +340,12 @@ Currently unused #### `[editor.gutters.diff]` Section -Currently unused +The `diff` gutter option displays colored bars indicating whether a `git` diff represents that a line was added, removed or changed. +These colors are controlled by the theme attributes `diff.plus`, `diff.minus` and `diff.delta`. + +Other diff providers will eventually be supported by a future plugin system. + +There are currently no options for this section. #### `[editor.gutters.spacer]` Section |