On 10 May 2004, at 18:49, Sven Neumann wrote: > Mitch added an option to clear the Undo history. May be useful if you > are running out of memory. This was requested in bug #136300. Cool, thanks. Sounds like a useful option. (The rest too, BTW :-)) -- branko collin collin@xxxxxxxxx
