[Pharo-dev] shit + double click on a category :)

Hi guys alain showed me that click + double click on a category is really nice to rename a category. May be you knew it but this is nice. Stef