X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Fseparation-item.cc;h=617c6fd4ebc9e25b641a2a83332f960e79d1427f;hb=8bd6516dd00621b493cab85de02e28bae383ea58;hp=a567f3c6bd50c336e56773b14209efeb2d81eb45;hpb=8927024a06dccf738135319434199cdba64dfab9;p=lilypond.git diff --git a/lily/separation-item.cc b/lily/separation-item.cc index a567f3c6bd..617c6fd4eb 100644 --- a/lily/separation-item.cc +++ b/lily/separation-item.cc @@ -11,6 +11,7 @@ #include "accidental-placement.hh" #include "axis-group-interface.hh" #include "lookup.hh" +#include "note-column.hh" #include "note-head.hh" #include "paper-column.hh" #include "pointer-group-interface.hh" @@ -101,7 +102,18 @@ Separation_item::boxes (Grob *me, Grob *left) if (left) elts = Accidental_placement::get_relevant_accidentals (read_only_elts, left); else - elts = read_only_elts; + { + elts = read_only_elts; + + /* This is a special-case for NoteColumn: we want to include arpeggio in its + skyline (so spacing takes it into account) but we don't want to include it + in the NoteColumn's extent because some spanners (eg. Hairpin) bound themselves + on the NoteColumn and we don't want them to include arpeggios in their bounds. + */ + if (Grob *a = Note_column::arpeggio (me)) { + elts.push_back (a); + } + } Grob *ycommon = common_refpoint_of_array (elts, me, Y_AXIS); @@ -123,12 +135,15 @@ Separation_item::boxes (Grob *me, Grob *left) Interval y (il->pure_height (ycommon, 0, very_large)); Interval x (il->extent (pc, X_AXIS)); - Interval extra = robust_scm2interval (elts[i]->get_property ("extra-spacing-width"), - Interval (-0.1, 0.1)); - x[LEFT] += extra[LEFT]; - x[RIGHT] += extra[RIGHT]; - if (to_boolean (elts[i]->get_property ("infinite-spacing-height"))) - y = Interval (-infinity_f, infinity_f); + Interval extra_width = robust_scm2interval (elts[i]->get_property ("extra-spacing-width"), + Interval (-0.1, 0.1)); + Interval extra_height = robust_scm2interval (elts[i]->get_property ("extra-spacing-height"), + Interval (-0.1, 0.1)); + + x[LEFT] += extra_width[LEFT]; + x[RIGHT] += extra_width[RIGHT]; + y[DOWN] += extra_height[DOWN]; + y[UP] += extra_height[UP]; if (!x.is_empty () && !y.is_empty ()) out.push_back (Box (x, y));