[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fix collisions between hairpins and dynamic text spanners.
From: |
Neil Puttock |
Subject: |
Re: Fix collisions between hairpins and dynamic text spanners. |
Date: |
Tue, 8 Sep 2009 23:15:33 +0100 |
2009/9/6 Reinhold Kainhofer <address@hidden>:
> No conversion rule required. It's an internal property, so anyone messing with
> them should be aware that it might break at any time.
The voice of reason, as always. :)
I've uploaded a few changes, since there was some quirky behaviour
with the padding arising from the selection of the wrong adjacent
grob.
Cheers,
Neil