Re: [Pharo-dev] GTPlayground Play Button Semantics