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

March 24, 2015


      Double clicking on the tab does nothing (I have a #40567 image). Double clicking on the window title maximizes the window.

Norbert
...
Am 24.03.2015 um 11:27 schrieb Tudor Girba <tudor@tudorgirba.com>:
You can double click on the tab.
Doru
On Tue, Mar 24, 2015 at 11:17 AM, Norbert Hartl <norbert@hartl.name <mailto:norbert@hartl.name>> wrote:
Is it possible?
Norbert
-- 
www.tudorgirba.com <http://www.tudorgirba.com/>
"Every thing has its own flow"