aboutsummaryrefslogtreecommitdiff
path: root/book/src
diff options
context:
space:
mode:
authorMark Stosberg2024-02-12 16:48:10 +0000
committerGitHub2024-02-12 16:48:10 +0000
commit0516337abb7096c7d909624a7e1307ee4b837835 (patch)
treeec47291955ed3475fd7678f69f7b65380a75adb6 /book/src
parentbb1e2ddcd8c01256d81ae712090c4ca1e2d09561 (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.
Diffstat (limited to 'book/src')
-rw-r--r--book/src/configuration.md7
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