From ae33065c6bad3b3802b0848678bb0dc30135b873 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 1 Mar 2009 15:49:29 +0000 Subject: [PATCH] svn: r13891 --- collects/scribblings/drscheme/files.scrbl | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/collects/scribblings/drscheme/files.scrbl b/collects/scribblings/drscheme/files.scrbl index 8f85a5c460..1e632c2f58 100644 --- a/collects/scribblings/drscheme/files.scrbl +++ b/collects/scribblings/drscheme/files.scrbl @@ -56,13 +56,13 @@ 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, 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: +Every five minutes, DrScheme checks each open file. If any file is +modified and not saved, DrScheme saves the file to a special autosave +file (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{