[Pharo-dev] Change Playground title based on the name of the first pane
i.uhnak at gmail.com
Thu Apr 28 03:50:19 EDT 2016
would it be possible to change the Playground title when the first page
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".
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Pharo-dev