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

[pharo]

Updates:
        Status: Closed
        Labels: -Milestone-1.2-DevImage Milestone-1.2
Comment #4 on issue 3472 by marcus.denker: Text selection problem in  
Pharo-dev 1.2
http://code.google.com/p/pharo/issues/detail?id=3472

12284