...
original commit: 3b22ea1463d2f9a3ce96546da3bd79cbc0ab4622
This commit is contained in:
parent
d6a2324215
commit
1f57de0047
|
@ -49,7 +49,8 @@
|
|||
#t)
|
||||
(super-can-save-file? filename format)))])
|
||||
|
||||
(rename [super-after-save-file after-save-file])
|
||||
(rename [super-after-save-file after-save-file]
|
||||
[super-after-load-file after-load-file])
|
||||
(private
|
||||
[last-saved-file-time #f])
|
||||
(override
|
||||
|
@ -57,7 +58,12 @@
|
|||
(lambda (sucess?)
|
||||
(when sucess?
|
||||
(set! last-saved-file-time (file-or-directory-modify-seconds (get-filename))))
|
||||
(super-after-save-file sucess?))])
|
||||
(super-after-save-file sucess?))]
|
||||
[after-load-file
|
||||
(lambda (sucess?)
|
||||
(when sucess?
|
||||
(set! last-saved-file-time (file-or-directory-modify-seconds (get-filename))))
|
||||
(super-after-load-file sucess?))])
|
||||
(public
|
||||
[save-file-out-of-date?
|
||||
(lambda ()
|
||||
|
|
Loading…
Reference in New Issue
Block a user