Pedal updates

[Chris Jackson]

Hi,

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).  

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

-- 
chris

lilypond-1.5.42.chj1.diff.gz
Description: Binary data