Re: position of dots

[David Kastrup]

Werner LEMBERG <address@hidden> writes:

>>> Looks like in this case a "gravity" strategy like those with which
>>> window managers snap windows to guides would be appropriate: keep
>>> aligned unless this makes dots move to far away from their target,
>>> in which case the connection gets severed.
>> 
>> surely +1
>> 
>> bugreport?
>
> Mhmm, rather a feature request; see the other mail from Keith.

Or we'd want both a dot_column engraver in-voice and a weak_dot_column
engraver between voices.  Can one use the same engraver here with
different settings?

-- 
David Kastrup