Instead of using the same row count as for the breadcrumbs, we double the height so that there's some space for padding. Co-authored-by: Kyle <kyle@zed.dev>
Piotr Osiewicz committed on 8/4/2023, 4:54:27 PMparentde8e185
1 file changedLine totals unavailable