feat: toggle gutter symbols along with inline diagnostics
This commit is contained in:
parent
7c354c994f
commit
a288945609
1 changed files with 2 additions and 1 deletions
|
@ -265,7 +265,8 @@ inline fn render_diff_symbols(self: *Self, diff_symbols: *[]Symbol, pos: usize,
|
||||||
}
|
}
|
||||||
|
|
||||||
fn render_diagnostics(self: *Self, theme: *const Widget.Theme) void {
|
fn render_diagnostics(self: *Self, theme: *const Widget.Theme) void {
|
||||||
for (self.editor.diagnostics.items) |*diag| self.render_diagnostic(diag, theme);
|
if (tui.config().inline_diagnostics)
|
||||||
|
for (self.editor.diagnostics.items) |*diag| self.render_diagnostic(diag, theme);
|
||||||
}
|
}
|
||||||
|
|
||||||
fn render_diagnostic(self: *Self, diag: *const ed.Diagnostic, theme: *const Widget.Theme) void {
|
fn render_diagnostic(self: *Self, diag: *const ed.Diagnostic, theme: *const Widget.Theme) void {
|
||||||
|
|
Loading…
Add table
Reference in a new issue