From 1f57de00477a21201f240bded14daadbeb77aa00 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 6 Jan 2001 03:52:26 +0000
Subject: [PATCH] ...

original commit: 3b22ea1463d2f9a3ce96546da3bd79cbc0ab4622
---
 collects/framework/editor.ss | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/collects/framework/editor.ss b/collects/framework/editor.ss
index da808308..b9fc4b64 100644
--- a/collects/framework/editor.ss
+++ b/collects/framework/editor.ss
@@ -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 ()