diff options
| author | Alexis Mousset | 2023-09-20 22:28:36 +0000 |
|---|---|---|
| committer | GitHub | 2023-09-20 22:28:36 +0000 |
| commit | 2284bce970e9175fd81851e1616218a6119354fc (patch) | |
| tree | 5eaee3b671efb37f3c4fa2c8c6a2530fa19c581d /book/src | |
| parent | 651fd1ca7296bce719049e15cc1337fd72d1c918 (diff) | |
Allow specifying a different style for diff indicator in vcs gutter. (#8343)
This allows using a background in diff style
(for nice patch file coloring) while keeping the
gutter indicator nice (and using appropriate colors).
Diffstat (limited to 'book/src')
| -rw-r--r-- | book/src/themes.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index 96d7c0ec..66121076 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -245,9 +245,12 @@ We use a similar set of scopes as - `diff` - version control changes - `plus` - additions + - `gutter` - gutter indicator - `minus` - deletions + - `gutter` - gutter indicator - `delta` - modifications - `moved` - renamed or moved files/changes + - `gutter` - gutter indicator #### Interface |