Re: [Pharo-project] Issue 3697 in pharo: UI Enhancements

[pharo]

Comment #2 on issue 3697 by stephane...@gmail.com: UI Enhancements
http://code.google.com/p/pharo/issues/detail?id=3697

it was in 13053 in fact