@@ -696,6 +696,7 @@ impl EditorView {
696 let mut offset = 0;
696 let mut offset = 0;
698 let gutter_style = theme.get("ui.gutter");
698 let gutter_style = theme.get("ui.gutter");
699+ let gutter_selected_style = theme.get("ui.gutter.selected");
700 // avoid lots of small allocations by reusing a text buffer for each line
701 // avoid lots of small allocations by reusing a text buffer for each line
701 let mut text = String::with_capacity(8);
702 let mut text = String::with_capacity(8);
@@ -708,6 +709,12 @@ impl EditorView {
708 let x = viewport.x + offset;
709 let x = viewport.x + offset;
709 let y = viewport.y + i as u16;
710 let y = viewport.y + i as u16;
712+ let gutter_style = if selected {
713+ gutter_selected_style
711 if let Some(style) = gutter(line, selected, &mut text) {
718 if let Some(style) = gutter(line, selected, &mut text) {
712 surface.set_stringn(x, y, &text, *width, gutter_style.patch(style));
719 surface.set_stringn(x, y, &text, *width, gutter_style.patch(style));