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

[Thomas Morley]

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