On 10/7/10 1:44 AM, "Alexander Kobel" <n...@a-kobel.de> wrote:
> On 2010-10-06 17:46, Mark Polesky wrote:
>> I also think the name 'space is misleading; I propose
>> 'default-distance. Opinions?
>
> I can't see why 'space should be misleading, but that might just be that
> I'm accustomed to it by now. It's shorter, but anything other is okay
> as well.
> (Of course, this requires an understanding of the connections 'padding
> vs. 'space and 'stretchability vs. 'minimum-distance.)
>
> But should it be 'default-distance or 'optimal-distance? "Default" to
> me (non-native speaker) implies that it's the value proposed by the
> system, which can be overridden by the user. I think "optimal" fits
> better in the sense that it's the user-given value which the layout
> algorithms aims to achieve, but does not always succeed to reach.
I think I'd prefer desired-distance to optimal-distance. optimal distance
is what the algorithms actually end up with, as a tradeoff between desired
distance and the amount of stuff on a page.
Thanks,
Carl
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-devel
