Problems in both gideon editors

[Bernd Gehrmann]

On Sunday 09 June 2002 20:51, you wrote:
> 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.

Hey, that was irony! Will put "Spread :-) and ;-) all over my mails"
into my TODO list ;-)

Bernd.