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.
beginners@lists.squeakfoundation.org