Open
Description
Would be useful if the user has the ability to configure how dense the search result list is, sort of like gmail:
We have two knobs we can control to make things more / less dense: (1) Editor text size & padding and (2) the number of context lines requested from zoekt.