I think all the above is very valid. Keeping an history can sometimes be handy, sometimes not, especially when you do a lot of editing. Kovid, I do not think you have to add an option to disable it. Just an option to clear it would suffice IMHO. That would also get rid of all typed mistakes which are now also kept.
Just my 2cts.
|