> On Sat, 21 Feb 2015, Bert Freudenberg wrote:

>I love the feature (in other editors), but hate its current behavior. If that one is >better, why don't we use that?

+1 -but retain the preference so it can be turned off.