Add auto_open_panel_for_diagnostics

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,

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,