[Geany-Users] 1.25 incorrectly detecting file changes
mikhail.v.gavrilov at xxxxx
Wed Jul 29 08:04:06 UTC 2015
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
> 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.
More information about the Users