Re: can you globally set different padding values for different Script grobs?

[Phil Holmes]

----- Original Message ----- 
From: "Thomas Morley" <address@hidden>
To: "Kieren MacMillan" <address@hidden>; "Phil Holmes" 
<address@hidden>
Cc: "Lilypond-User Mailing List" <address@hidden>
Sent: Friday, July 19, 2013 7:07 PM
Subject: Re: can you globally set different padding values for different 
Script grobs?


2013/7/17 Kieren MacMillan <address@hidden>:
> Hi Harm,
>
> > sometime ago David Nalesnik and I were working on it.
> > Originally, it was 2.14.2-code but still works with 2.17.21.
>
> Sorry I never responded to this — it's amazing!
> This, IMHO, should be part of the default distro.
>
> Many thanks!
> Kieren.

Hi Kieren,

glad I could help.

For now I've put a revised version into the LSR (currently unapproved).
http://lsr.dsi.unimi.it/LSR/Item?id=884
To make it work with versions > 2.14.2 delete the $-sign in the
function or run convert-ly.

@Phil
Because it seems to be a problem repeatedly asked for, I've tagged it with 
docs.
Do you think it's appropriate?


Cheers,
 Harm

=======================================================

Fine with me.  Tagging it with docs puts it into the list of documented 
snippets, as opposed to the "manuals" (eg the NR) themselves, and I'm 
comfortable with this.

--
Phil Holmes