original commit: 1e3101fa18177255574a7c733fb4ce47fdc063df
This commit is contained in:
Matthew Flatt 2003-07-21 14:19:32 +00:00
parent be0ca00902
commit 579bf6ee3c

View File

@ -33,13 +33,13 @@
(define autosave-toc-filename
(build-path (find-system-path 'pref-dir)
(case (system-type)
[(windows unix) ".plt-autosave-toc"]
[(unix) ".plt-autosave-toc"]
[else "PLT-autosave-toc"])))
(define autosave-toc-save-filename
(build-path (find-system-path 'pref-dir)
(case (system-type)
[(windows unix) ".plt-autosave-toc-save"]
[(unix) ".plt-autosave-toc-save"]
[else "PLT-autosave-toc-save"])))
(define autosave-timer%