You can also explicitly name your pages (tabs) by double-clicking the title and changing it. Then your pages get copied to play-stash using that name. This gives you more control over what happens.

On 31 Aug 2016, at 22:30, Peter Uhnak <i.uhnak@gmail.com> wrote:
On Wed, Aug 31, 2016 at 10:10:21PM +0200, Tudor Girba wrote:
Hi,
The code should actually be saved on disk every time you type. Please take a look at the files from play-cache. Could you confirm?
One bug is that the history is cached and not refreshed, so when you re-open a crashed page the image does not know that there is another file. This has to be changed.
As for having the currently opened playgrounds in the dropdown, we chose it like that because when you open the dropdown you typically want to switch to something else than what exists right now in front of view. Thus showing the same entry again would provide little value. I believe that if we would solve the history bug described above, this issue would resolve itself as well.
In any case, the dealing with the history of the playground is underdeveloped. So, let���s see if we can identify ways to improve the situation.
What do you think?
Thank you both for the answers, I didn't know there was a disk storage that was independent of what was shown to me, so next time I crash I will check.
But there were other strange issues going around, or at least confusing. So I'll try to play with it a bit tomorrow.
Thanks,
Peter