- /* 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.
- */
- between_system_space_ = 0;
- between_system_padding_ = 0;
- between_system_min_distance_ = 0;
- between_scores_system_padding_ = 0;
- between_scores_system_min_distance_ = 0;
- before_title_padding_ = 0;
- before_title_min_distance_ = 0;
+ system_system_space_ = 0;
+ system_markup_space_ = 0;
+ system_system_padding_ = 0;
+ system_system_min_distance_ = 0;
+ score_system_padding_ = 0;
+ score_system_min_distance_ = 0;
+ score_markup_padding_ = 0;
+ score_markup_min_distance_ = 0;