Re: [Pharo-dev] Workspace and GTPlayground menu item

On Wed, Mar 18, 2015 at 10:51 PM, Nicolai Hess <nicolaihess@web.de> wrote:

What is wrong with this:

Nothing serious, just horrible ugliness (imho) Cheers, Alex