|
| From: | Malte Meyn |
| Subject: | Re: repeatTie length |
| Date: | Sun, 22 Apr 2018 08:57:30 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 |
Am 22.04.2018 um 05:24 schrieb Andrew Bernard:
How can you make a repeatTie longer? The default is a little too crimped for my style.
See http://lsr.di.unimi.it/LSR/Item?id=715 and adapt ;) Of course the current solution is not optimal, a property length or minimum-length would be nice.
| [Prev in Thread] | Current Thread | [Next in Thread] |