Am 08.07.2014 02:17, schrieb Paul Morris:
Thomas Morley-2 wrote
But *do* we need two different variables which then are used with
exactly the
same value?
Do we need the option to change the distance of the segno double bar
line?

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


_______________________________________________
lilypond-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to