On 2010/11/12 21:53:41, Mark Polesky wrote:
I might like to keep staff-staff-spacing for the StaffGrouper
prop. I'm thinking it over, and I'll get back to you.
Guys, I'd rather not change StaffGrouper's
'staff-staff-spacing to 'default-staff-staff-spacing. The
big reason for me is that it is no more a "default spacing"
than its companion property 'staffgroup-staff-spacing, and
it would be very weird to call that one
'default-staffgroup-staff-spacing.
If you're okay with that logic, then all that remains is to
find a better way to explain both #1 and #2a using a single
property-description, since they share the same name. I
propose this:
staff-staff-spacing
When applied to a staff-group's StaffGrouper grob, this
spacing alist controls the distance between consecutive
staves within the staff-group. When applied to a staff's
VerticalAxisGroup grob, it controls the distance between the
staff and the nearest staff below it, replacing any settings
inherited from the StaffGrouper grob of the containing
staff-group, if there is one.
What do you think?