From aeb0e3458cec11696541393780904d8c6f4b63ec Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 1 Mar 2009 15:28:39 +0000 Subject: [PATCH] svn: r13890 --- collects/scribblings/drscheme/files.scrbl | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/scribblings/drscheme/files.scrbl b/collects/scribblings/drscheme/files.scrbl index 86ff4f78d9..8f85a5c460 100644 --- a/collects/scribblings/drscheme/files.scrbl +++ b/collects/scribblings/drscheme/files.scrbl @@ -57,12 +57,12 @@ original file's name: } When a file in an active DrScheme editor is modified but not saved, -DrScheme saves the file to a special autosave file after five minutes -(in case of a power failure or catastrophic error). If the file is -later saved, or if the user exists DrScheme without saving the file, -the autosave file is removed. The autosave file is saved in the same -directory as the original file, and the autosave file's name is -generated from the original file's name: +DrScheme saves the file to a special autosave file, five minutes after +the last save (just in case there is a power failure or some other +catastrophic error). If the file is later saved, or if the user exists +DrScheme without saving the file, the autosave file is removed. The +autosave file is saved in the same directory as the original file, and +the autosave file's name is generated from the original file's name: @itemize{