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
