Antonio Scandurra 1a53d5b7ba Use a new Workspace::activate_item API in project diagnostics ... Previously, we would only activate the pane without switching the pane's *active item*.		2022-01-10 10:10:11 +01:00
..
src	Use a new Workspace::activate_item API in project diagnostics	2022-01-10 10:10:11 +01:00
Cargo.toml	Refactor opening workspace items	2022-01-07 17:38:37 +01:00