[Pharo-dev] Change Playground title based on the name of the first pane

Peter Uhnák i.uhnak at gmail.com
Thu Apr 28 03:50:19 EDT 2016


Hi,

would it be possible to change the Playground title when the first page
changed?

I know I can change the title through the top right corner, but just a
double click might be more useful.

Plus there could be some automatic naming pattern, because it would be nice
to still see that it is playground…

for example I tend to name them: "PL @ custom name".

Thanks,
Peter
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.pharo.org/pipermail/pharo-dev_lists.pharo.org/attachments/20160428/0a4685d8/attachment.html>


More information about the Pharo-dev mailing list