|
From: | Marc Hohl |
Subject: | Re: Remove thin-kern property. (issue 105560044 by address@hidden) |
Date: | Tue, 08 Jul 2014 08:59:44 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 |
Am 08.07.2014 02:17, schrieb Paul Morris:
Thomas Morley-2 wroteBut *do* we need two different variables which then are used withexactly thesame value? Do we need the option to change the distance of the segno double barline? I'd say yes. I'm always against loosing functionality, and deleting 'thin-kern would limit the tweaking-possibilities.+1
OK, but 'thin-kern does not seem to be an appropriate name for this property anymore IMHO.
Marc
[Prev in Thread] | Current Thread | [Next in Thread] |