<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"><head>
<title></title>
<meta http-equiv="content-type" content="text/html;charset=utf-8"/>
<meta http-equiv="Content-Style-Type" content="text/css"/>
</head>
<body>
<p style="margin-left:0mm; margin-right:0mm; text-indent:0mm; margin-top:1.76mm; margin-bottom:1.76mm;"><font face="Times New Roman">
<span style=" font-size:12pt">> On Sat, 21 Feb 2015, </span></font><a href="/search?l=beginners@lists.squeakfoundation.org&q=from:%22Bert+Freudenberg%22">
<font face="Times New Roman" color="#0000ff"><span style=" font-size:12pt"><u>Bert Freudenberg</u></span></font></a><font face="Times New Roman">
<span style=" font-size:12pt"> wrote:</span></font></p>
<p style="margin-left:0mm; margin-right:0mm; text-indent:0mm; margin-top:1.76mm; margin-bottom:1.76mm;"><font face="Times New Roman">
<span style=" font-size:12pt">>I love the feature (in other editors), but hate its current behavior. If that one is
>better, why don't we use that? </span></font></p>
<div align="left"><font face="Times New Roman"><span style=" font-size:12pt">+1  -but retain the preference so it can be turned off.</span></font></div>
</body>
</html>