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).
pull/8349/head
Alexis Mousset 1 year ago committed by GitHub
parent 651fd1ca72
commit 2284bce970
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -245,9 +245,12 @@ We use a similar set of scopes as
- `diff` - version control changes - `diff` - version control changes
- `plus` - additions - `plus` - additions
- `gutter` - gutter indicator
- `minus` - deletions - `minus` - deletions
- `gutter` - gutter indicator
- `delta` - modifications - `delta` - modifications
- `moved` - renamed or moved files/changes - `moved` - renamed or moved files/changes
- `gutter` - gutter indicator
#### Interface #### Interface

@ -94,9 +94,9 @@ pub fn diff<'doc>(
theme: &Theme, theme: &Theme,
_is_focused: bool, _is_focused: bool,
) -> GutterFn<'doc> { ) -> GutterFn<'doc> {
let added = theme.get("diff.plus"); let added = theme.get("diff.plus.gutter");
let deleted = theme.get("diff.minus"); let deleted = theme.get("diff.minus.gutter");
let modified = theme.get("diff.delta"); let modified = theme.get("diff.delta.gutter");
if let Some(diff_handle) = doc.diff_handle() { if let Some(diff_handle) = doc.diff_handle() {
let hunks = diff_handle.load(); let hunks = diff_handle.load();
let mut hunk_i = 0; let mut hunk_i = 0;

Loading…
Cancel
Save