On Tue, 19 May 2009 22:35:35 +0200 Enrico Tröger enrico.troeger@uvena.de wrote:
I'm not sure whether we need a pref for it. I'd say let's use it for some time and then decide. So far after about an hour of using this change, I got three times into a replacement where more were deleted than I wanted. But I think this is just a matter of time to get used to the changed behaviour. Let's see.
OK, let me know if you decide we need a pref.
Regards, Nick