Add ui.gutter to theme all gutters (i.e. set bg)

pull/1263/head
Blaž Hrastnik 3 years ago
parent c7ace15fd4
commit 730d3be201

@ -425,6 +425,8 @@ impl EditorView {
let mut offset = 0; let mut offset = 0;
let gutter_style = theme.get("ui.gutter");
// avoid lots of small allocations by reusing a text buffer for each line // avoid lots of small allocations by reusing a text buffer for each line
let mut text = String::with_capacity(8); let mut text = String::with_capacity(8);
@ -440,7 +442,7 @@ impl EditorView {
viewport.y + i as u16, viewport.y + i as u16,
&text, &text,
*width, *width,
style, gutter_style.patch(style),
); );
} }
text.clear(); text.clear();

@ -20,7 +20,7 @@ use std::{
use tokio::time::{sleep, Duration, Instant, Sleep}; use tokio::time::{sleep, Duration, Instant, Sleep};
use anyhow::{bail, Context, Error}; use anyhow::{bail, Error};
pub use helix_core::diagnostic::Severity; pub use helix_core::diagnostic::Severity;
pub use helix_core::register::Registers; pub use helix_core::register::Registers;

Loading…
Cancel
Save