Re: [Pharo-users] How to change title of playground?

[Tudor Girba]

You can double click on the tab.

Doru

On Tue, Mar 24, 2015 at 11:17 AM, Norbert Hartl <norb...@hartl.name> wrote:

> Is it possible?
>
> Norbert
>
>


-- 
www.tudorgirba.com

"Every thing has its own flow"