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 | |
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).
-rw-r--r-- | book/src/themes.md | 3 | ||||
-rw-r--r-- | helix-view/src/gutter.rs | 6 |
2 files changed, 6 insertions, 3 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 diff --git a/helix-view/src/gutter.rs b/helix-view/src/gutter.rs index a332a8a3..397dff4f 100644 --- a/helix-view/src/gutter.rs +++ b/helix-view/src/gutter.rs @@ -94,9 +94,9 @@ pub fn diff<'doc>( theme: &Theme, _is_focused: bool, ) -> GutterFn<'doc> { - let added = theme.get("diff.plus"); - let deleted = theme.get("diff.minus"); - let modified = theme.get("diff.delta"); + let added = theme.get("diff.plus.gutter"); + let deleted = theme.get("diff.minus.gutter"); + let modified = theme.get("diff.delta.gutter"); if let Some(diff_handle) = doc.diff_handle() { let hunks = diff_handle.load(); let mut hunk_i = 0; |