Re: [Pharo-dev] Playground and its current usability in Pharo4.0 Latest update: #40307

[kilon alios]

>>
> Indeed. This was a discussion I wanted to spawn as well. I would prefer to
> change the name from Workspace to Playground in the World Menu. The reason
> is that the Playground is such a distinct departure from the Workspace that
> it deserves a different name.
>
>
>>
>>
I agree, it should not be named Workspace but on the other hand I feel also
that "Playground" does not quite represent the raw power of the tool. But
it definitely should not be named Workspace.