[Geany-Users] 1.25 incorrectly detecting file changes

[Михаил Гаврилов]

2015-07-29 12:05 GMT+05:00 Михаил Гаврилов <mikhail.v.gavrilov at gmail.com>:
> 2015-07-29 11:59 GMT+05:00 Vit Ry <frodox at zoho.com>:
>> Could you provide please some cases/examples, in which default behaviour works wrong?
>
> There are many different cases when the time will be different, but
> the content is not.
>
> If main task before saving file notify user that someone else had to
> edit this file is my proposed solution with comparing checksum much
> safer.
>
> Running utilities for merge optional but recommended in such cases.

Of course making this check by timer extremely wasteful especially if
the file size more than megabyte. So it is better to do it at the
request of the user, namely, when the user saves the changes.