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