Re: <filename> changed on disk; really edit the buffer?

[Stephan Lukits]

martin rudalics schrieb:
> > every few minutes I get this annoying question:
> > <filename> changed on disk; really edit the buffer?
>
> This is from `ask-user-about-supersession-threat'.

Thanks for that one.  I redefined it with an function which has an empty
body, so I can work undisturbed.  Of course this is only an interim
solution until the reason of the problem is tracked down.

> > I'm absolutely sure that no other program is using
> > this file.
>
> Does this happen since the DST change (saturday/sunday) or did it
> happen before?

This could be but I'm not a 100% sure.

> Does it go away when you touch the file in question, that is, set
> its modification time to now.

Hm.  I couldn't find this file attribute within the Windows Explorer.
Within dired I found the operation "Change Timestamp ... (T)".  I tried
it but it didn't help.  Could you please be a bit more detailed about
what I should do exactly.

best regards and thanks for your help
Stephan Lukits