Problems in both gideon editors

[Matthias Hölzer-Klüpfel]

On Sunday 09 June 2002 13:18, Bernd Gehrmann wrote:
> On Sunday 09 June 2002 12:19, you wrote:
> > in IDEAI user interface, I don't know if it happens elsewhere,
> > the same file is opened twice sometimes and the old file
> > won't be saved before build. very weird things happen.
>
> That's a consequence of comparing file names instead of inodes,
> which breaks in case of symlinks. I've fixed this four
> times and explained it in detail, the first time in 1999, and each time
> someone thought it would be a good idea to break it again.

Well, as I broke it two out of the four times, I should say that I never 
thought breaking it would be a good idea. There is even a note to myself 
telling me to fix it in the code. It just never went into my TODO list, which 
is why I forgot about it. I will fix it.

Bye,
Matthias.