Skip to content

Commit

Permalink
add ui.gutter.selected
Browse files Browse the repository at this point in the history
  • Loading branch information
ChrHorn committed Aug 2, 2022
1 parent aa4394c commit 4eb8539
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions helix-term/src/ui/editor.rs
Original file line number Diff line number Diff line change
Expand Up @@ -616,6 +616,7 @@ impl EditorView {
let mut offset = 0;

let gutter_style = theme.get("ui.gutter");
let gutter_selected_style = theme.get("ui.gutter.selected");

// avoid lots of small allocations by reusing a text buffer for each line
let mut text = String::with_capacity(8);
Expand All @@ -628,6 +629,12 @@ impl EditorView {
let x = viewport.x + offset;
let y = viewport.y + i as u16;

let gutter_style = if selected {
gutter_selected_style
} else {
gutter_style
};

if let Some(style) = gutter(line, selected, &mut text) {
surface.set_stringn(x, y, &text, *width, gutter_style.patch(style));
} else {
Expand Down

0 comments on commit 4eb8539

Please sign in to comment.