By any chance: is the file saved inside a Dropbox ? When Dropbox synchronizes it might set a flag/time somewhere.
/Jens Axel 2014-12-04 15:30 GMT+01:00 Robby Findler <[email protected]>: > On Wed, Dec 3, 2014 at 10:30 PM, Prabhakar Ragde <[email protected]> wrote: >> I'm currently using Racket 6.1. For some time now, when editing Scribble >> files in DrRacket, I've been getting "file has changed on disk" messages >> when trying to save or render - not consistently, just every so often. These >> are files I am not editing in anything other than DrRacket. I click "ignore" >> and everything works fine, but it is annoying. > > This is definitely a bug somewhere and I've had not a lot of luck > tracking it down. > > I guess that what's happening is something is actually changing the > file on the disk (perhaps DrRacket itself) and it shouldn't. > > So if you can figure out what feature of DrRacket is making this > happen or verify that the file is actually not changing on the disk, > either of those would be helpful. > > Sorry for the annoyance :( > > Robby > ____________________ > Racket Users list: > http://lists.racket-lang.org/users -- -- Jens Axel Søgaard ____________________ Racket Users list: http://lists.racket-lang.org/users
