diff --git a/src/config.zig b/src/config.zig index 8cc7cd6..194a60d 100644 --- a/src/config.zig +++ b/src/config.zig @@ -59,6 +59,7 @@ show_bottom_bar_grip: bool = true, show_scrollbars: bool = true, show_fileicons: bool = true, show_local_diagnostics_in_panel: bool = false, +auto_open_panel_for_diagnostics: bool = true, scrollbar_auto_hide: bool = true, scroll_step_vertical: usize = 3, scroll_step_horizontal: usize = 5, diff --git a/src/tui/mainview.zig b/src/tui/mainview.zig index 6a8636d..58fb562 100644 --- a/src/tui/mainview.zig +++ b/src/tui/mainview.zig @@ -1089,6 +1089,9 @@ const cmds = struct { if (!tui.config().show_local_diagnostics_in_panel) return; } + if (!self.is_panel_view_showing(filelist_view) and !tui.config().auto_open_panel_for_diagnostics) { + return; + } try self.add_find_in_files_result( .diagnostics, file_path,