svn: r13890

This commit is contained in:
Robby Findler 2009-03-01 15:28:39 +00:00
parent b2d2001eb0
commit aeb0e3458c

View File

@ -57,12 +57,12 @@ original file's name:
} }
When a file in an active DrScheme editor is modified but not saved, 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 DrScheme saves the file to a special autosave file, five minutes after
(in case of a power failure or catastrophic error). If the file is the last save (just in case there is a power failure or some other
later saved, or if the user exists DrScheme without saving the file, catastrophic error). If the file is later saved, or if the user exists
the autosave file is removed. The autosave file is saved in the same DrScheme without saving the file, the autosave file is removed. The
directory as the original file, and the autosave file's name is autosave file is saved in the same directory as the original file, and
generated from the original file's name: the autosave file's name is generated from the original file's name:
@itemize{ @itemize{