On Feb 27, 2011, at 11:42 AM, Robby Findler wrote: > Yes, that's it. Also, put something into the after-save-file-method: > > diff --git a/collects/framework/private/editor.rkt > b/collects/framework/private/editor.rkt > index 0c8981b..cb5504a 100644 > --- a/collects/framework/private/editor.rkt > +++ b/collects/framework/private/editor.rkt > @@ -190,7 +190,8 @@ > (set! last-saved-file-time > (and filename > (file-exists? filename) > - (file-or-directory-modify-seconds filename))))) > + (file-or-directory-modify-seconds filename)) > + (log-warning (format "saved ~a at ~a" filename > last-saved-file-time))))) > > (inner (void) after-save-file success?)) > > and then when you see this strange behavior, maybe it the particular > numbers that you're seeing might shed some light on which part of this > is going wrong.
Add'l data point: I tried messing up the clock manually, by turning off NTP, but I was unable to duplicate the bug this way. John
smime.p7s
Description: S/MIME cryptographic signature
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
