Clear all check diagnostics when the workspace changes

This commit is contained in:
Lukas Wirth 2024-12-20 13:32:03 +01:00
parent 4a8eb8c229
commit db8660410f

View file

@ -715,6 +715,7 @@ impl GlobalState {
error!("FetchWorkspaceError: {e}");
}
self.wants_to_switch = Some("fetched workspace".to_owned());
self.diagnostics.clear_check_all();
(Progress::End, None)
}
};