Impose min scrollbar height in a way that doesn't impede scrollbar's movement

Also, fix the editor's scroll max so that you can scroll to the last
display row.