- Moment dt = Paper_column::when_mom (r) - Paper_column::when_mom (l);
-
- if (dt == Moment (0, 0))
- {
- /*
- In this case, Staff_spacing should handle the job,
- using dt when it is 0 is silly.
- */
- ideal = min_dist + 0.5;
- }
- else
- ideal = min_dist + options->get_duration_space (dt.main_part_);
+ /*
+ In this case, Staff_spacing should handle the job,
+ using dt when it is 0 is silly.
+ */
+ ideal = min_dist + 0.5;