Re: [Pharo-project] Issue 3472 in pharo: Text selection problem in Pharo-dev 1.2