Re: [anjuta-list] The file on the disk is more recent than the current buffer

[John Coppens <john jcoppens com>]

On Sat, 16 Apr 2016 08:13:59 +0200
Sébastien Granjoux <seb sfo free fr> wrote:

> > Is something wrong with the mount options?
>
> I don't know.
>
> This has already been reported 
> https://bugzilla.gnome.org/show_bug.cgi?id=761382 but I have get enough 
> time to investigate. As Anjuta hasn't changed since perhaps years now, 
> it's probably triggered by some improvements in the file system.

I am the author of that bug... and haven't found a solution yet. I use
GtkSourceview (the library for the editing part of Anjuta) in several
other projects, but haven't had the same problems there. I also believe
Geany uses GtkSourceView, and it does not have this issue.

Just a suspicion for now, but I suspect there might have been a change
in the udev system, which reports changes in the file by sending events
back to the application. Maybe there is some race condition - at least
in my case the 'changed' notice does not appear every time.

John