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

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