Re: Default bar numbering collision

[Graham Percival]

On 30-Mar-06, at 3:13 AM, Mats Bengtsson wrote:

> The answer can, more or less, be found in the manual, at the bottom of 
> the
> page in the section on Bar Numbers. If you are unfamiliar, to the 
> details
> of to set such a property, look at the chapter on Changing Defaults, 
> especially
> Common Tweaks. Another good trick is to search the mailing list for the
> key words given in the hint. For example, you could search for
> BarNumber padding

Yes, we can fix it manually, but IMO the default value for 
BarNumber.padding should be a bit higher.  We shouldn't have collisions 
in this simple case:

{
\new StaffGroup <<
  \new Staff { c'1 \break c' }
  \new Staff { c'1 c' }
>>
}