Re: [racket-dev] autosave of unsaved files, docs

2011-09-28 Thread Robby Findler
I've fixed the broken drracket autosave gui; it was supposed to point out that these files were there when you restart drracket (and added a drdr test so we can make sure that it continues to work (at least to some extent) if something else changes that breaks it). If you have the energy to submit

[racket-dev] autosave of unsaved files, docs

2011-09-03 Thread Shriram Krishnamurthi
The docs at http://docs.racket-lang.org/drracket/drracket-files.html?q=crash#(part._drracket-autosave-files) are all about the autosave of files that have already been associated with disk. What about those that haven't? There is no reference to the Documents/mredauto.* files, which thankfully