File ... has been modified. Bug?

[magnan]

There is a small annoying bug I found in at least the X11 version of
Jedi (on MacOSX). It is closely related to my setup. Suppose I edit a
file, save it, switch to another application and get back into Jedi, i
get a dialog asking:

File (... file that I edited...) has been modified. Do you want to
reload it?

If I say yes I get another copy of the same file but with a different
path the two paths resolve to the same filesystem file.

Before throwing the message I think it should check if that file is
already loaded with an up-to-date contents.

To reproduce the bug (this is not simple) I think you need to have two
packages with the following .package files:

--- .package for package 1---
(package Package1
(root ".."))


--- .package for package 2---
(package Package2
(root ".."))

and put some modules in each package.

Thank you,
Francois Magnan