Re: First stab at getting bar extents right. (issue 5186049)

[address@hidden]

On Oct 7, 2011, at 6:28 AM, address@hidden wrote:

> // First stab at getting bar extents right.
> 
> Now, the bar extents are right already.
> They correspond to the extend of the bar as printed.
> For some reason, having the extents correct was
> important enough to Pál that he made 51494aa2.
> 
> You want the bar to have influence beyond its visible extent, so that
> accidentals do not cross over.
> That is usually done with extra-spacing-height (for note spacing) or
> some kind of padding.
> 
> Customize extra-spacing-height instead of extent.

This I can do.

And in response to your comment about what the patch is trying to do, you're 
right.  It exists to let grobs that should spill over/under barlines (lyrics, 
for example) spill over whereas other grobs that shouldn't (like accidentals) 
stay within the bar.

Cheers,
MS