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{