Antonio Scandurra 9521be8224 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