diff --git a/collects/framework/private/editor.ss b/collects/framework/private/editor.ss index fa3f4869..5c57e8eb 100644 --- a/collects/framework/private/editor.ss +++ b/collects/framework/private/editor.ss @@ -202,6 +202,7 @@ (file-exists? filename) (file-or-directory-modify-seconds filename))))) (inner (void) after-load-file success?)) + (define/public (save-file-out-of-date?) (and last-saved-file-time (let ([fn (get-filename)])