suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

the autosave file might be deleted by the user after it is created

Browse Source 
the first time but before the file is actually saved. guard against that.

closes PR 12698

original commit: 35e818ae50eea159f10c996c3475198bc321c662
This commit is contained in:
Robby Findler 2012-04-13 10:04:25 -05:00
parent 253d308313
commit d60426e9a6
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/framework/private/editor.rkt
View File

@ -598,7 +598,8 @@
(when (is-a? this text%) (when (is-a? this text%)
(send this set-file-format orig-format)) (send this set-file-format orig-format))
(when old-auto-name (when old-auto-name
(delete-file old-auto-name)) (when (file-exists? old-auto-name)
(delete-file old-auto-name)))
(set! auto-saved-name auto-name) (set! auto-saved-name auto-name)
(set! auto-save-out-of-date? #f) (set! auto-save-out-of-date? #f)
auto-name))] auto-name))]