On 2015/01/27 07:26:53, dak wrote:
It seems to me like this number-pair consists of two settings that
would almost
always be adjusted independently. Wouldn't it make more sense to make
a
separate property here? That way, the user would not need to remember
and
restate the setting he is not interested in.
IMHO it's better to logically stick stuff together. We already have far too much properties, and in this particular case I doubt that the user will change the values very often so I think the benefits of having a single property are exceeding the potential disadvantages. https://codereview.appspot.com/196260043/ _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
