June 12, 2009
4:17 p.m.
+1 kill preferences.... Shredstef On Jun 12, 2009, at 5:23 PM, Adrian Lienhard wrote:
Never used and I have no idea what it does.
I won't miss it ;)
Cheers, Adrian
On Jun 12, 2009, at 16:06 , Michael Rueger wrote:
Hi all,
is anybody setting this preference false? (I wasn't even aware it existed)
If not, we could just remove the preference and clean up cursor movement code.
Michael
_______________________________________________ Pharo-project mailing list Pharo-project@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project
_______________________________________________ Pharo-project mailing list Pharo-project@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project