On 17/4/2006, at 23:06, Richard Tucker wrote: > [ overwrite mode and smart-typing ] > But today I noticed this problem. Apologies if it's well known > already: No, it hasn’t been mentioned before. You raise some good points, and I will have to think about this, thanks :)