On Fri, Jul 08, 2005 at 11:13:36AM +0200, Georg Baum wrote:
> This is now in. A working undo with cursor jump is better than a nonworking
> undo. We can still change that if anybody has a better idea.

Sensible choice.

Andre'

Reply via email to