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

You can double click on the tab. Doru On Tue, Mar 24, 2015 at 11:17 AM, Norbert Hartl <norbert@hartl.name> wrote:

Is it possible?

Norbert

-- www.tudorgirba.com "Every thing has its own flow"