Re: position of dots

[Werner LEMBERG]

>> 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.


    Werner