From 8365ec9fe5cdff40bc40da0831e58393c1fee827 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 8 Nov 2008 18:34:39 +0000 Subject: [PATCH] added support for automatic compilation of source files to drscheme svn: r12356 original commit: 1490cd1c4de51af4359bc0c0ff41ea6bc45da5bf --- collects/framework/private/editor.ss | 1 + 1 file changed, 1 insertion(+) 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)])