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

[Sébastien Granjoux <seb sfo free fr>]

Hi,


Le 15/04/2016 22:52, Jens Mühlenhoff a écrit :
> since a few days I get a warning after saving the file in the current buffer.
>      The file "TheFilename" on the disk is more recent than the current buffer.
>      Do you want to reload it?
> This is extremly annoying :\. The fs is mounted by udisks2.
>      /dev/sdb on /run/media/jm/usbdisk type ext4 (rw,nosuid,nodev,relatime,data=ordered,uhelper=udisks2)
> 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. So 
perhaps changing the mount options could help.


> Is there any setting in Anjuta to turn this check off?

No.


> If not, what else can I do about it?

I don't see the problem here using Scintilla text editor which is part 
of Anjuta extra package. Perhaps you can try that.


Regards,

Sébastien