Max Brunsfeld 76bbd101c6 Increase diagnostic editor's vertical scroll margin ...

This way, the first path header will always be fully visible when
you move your cursor to the beginning of the multibuffer.

2022-01-26 10:23:41 -08:00

..

src

Increase diagnostic editor's vertical scroll margin

2022-01-26 10:23:41 -08:00

Cargo.toml

Show error+warning counts in project diagnostics tab

2022-01-12 10:51:28 -08:00