- /* NOTE: currently, we aren't using the space_ field of a
- Line_details for anything. That's because the approximations
- used for scoring a page configuration don't actually space things
- properly (for speed reasons) using springs anchored at the staff
- refpoints. Rather, the "space" is placed between the extent
- boxes. To get a good result, therefore, the "space" value for
- page breaking needs to be much smaller than the "space" value for
- page layout. Currently, we just make it zero always, which means
- that we will always prefer a tighter vertical layout.
- */