[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Naming of staff-staff-spacing
From: |
Noeck |
Subject: |
Re: Naming of staff-staff-spacing |
Date: |
Thu, 12 Mar 2015 01:04:59 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 |
> A change to the name was first suggested in 2013, see
> https://code.google.com/p/lilypond/issues/detail?id=3482
> so I suggest you add your support to that issue.
I have no google account. And it seems to me that it is required for
writing to the issues.
I can only repeat that I think it's a good idea to change the naming and
that I like the suggestions in the issue.
Cheers,
Joram