Re: names of vertical spacing dimensions

[Carl Sorensen]

On 10/7/10 1:44 AM, "Alexander Kobel" <address@hidden> 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