From a288945609df08b6efefd980936ee3826c9575dc Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Fri, 21 Feb 2025 21:39:06 +0100 Subject: [PATCH] feat: toggle gutter symbols along with inline diagnostics --- src/tui/editor_gutter.zig | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/tui/editor_gutter.zig b/src/tui/editor_gutter.zig index 21297c0..9e80dbc 100644 --- a/src/tui/editor_gutter.zig +++ b/src/tui/editor_gutter.zig @@ -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 { - 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 {