From 03153e8d7b8a3d0963f3befb1203326acfdc3c16 Mon Sep 17 00:00:00 2001 From: Mark Stosberg Date: Mon, 12 Feb 2024 11:48:10 -0500 Subject: [PATCH] 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. --- book/src/configuration.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/book/src/configuration.md b/book/src/configuration.md index a43ede76abff..de33c1ade64e 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