Re: [Pharo-dev] latest GTools settings