From 321128a22a642d1172ed80ba1d951eff50275071 Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Mon, 19 Aug 2024 21:12:30 +0200 Subject: [PATCH] fix: clear diagnostics when switching projects --- src/tui/mainview.zig | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/tui/mainview.zig b/src/tui/mainview.zig index a5ac183..6d417bc 100644 --- a/src/tui/mainview.zig +++ b/src/tui/mainview.zig @@ -244,13 +244,16 @@ const cmds = struct { if (editor.is_dirty()) return tp.exit("unsaved changes"); self.clear_file_stack(); + editor.clear_diagnostics(); try editor.close_file(.{}); } else { self.clear_file_stack(); } + self.clear_find_in_files_results(.diagnostics); + if (self.file_list_type == .diagnostics and self.is_panel_view_showing(filelist_view)) + try self.toggle_panel_view(filelist_view, false); try project_manager.open(project_dir); _ = try self.statusbar.msg(.{ "PRJ", "open" }); - log.logger("project").print("switched to project {s}", .{project_dir}); } pub fn navigate(self: *Self, ctx: Ctx) Result {