Pedal updates

[Han-Wen Nienhuys]

address@hidden writes:
> Attached is a patch of updates for the piano pedal stuff. The
> PianoPedalBracket grob now has customisable edge-width, edge-height and
> shorten-pair properties, allowing the exact dimensions of the ____/
> bracket to be modified.  Incidentally, the shorten-pair property can be
> used to extend the bracket to the end of a notehead (see the manual
> patch).  

I've put in the patch, there's one thing I don't understand: why do
you set a boolean property (widen-edge) in the engraver, just to read
it and convert it to a number property (edge-width). Why not init
edge-width from the engraver directly? Am I missing something?

> Undocumented properties have been fixed, and I've sorted out the
> direction confusion (it worked when I removed the Y-offset callbacks)

good.

-- 

Han-Wen Nienhuys   |   address@hidden    | http://www.cs.uu.nl/~hanwen/