[Geany-Users] 1.25 incorrectly detecting file changes

[Lex Trotman]

On 29 July 2015 at 18:04, Михаил Гаврилов <mikhail.v.gavrilov at gmail.com> wrote:
> 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.

It would also have to be done when the file is opened, otherwise you
have nothing to compare against.

This is likely to make opening and closing large numbers of files slow.

Cheers
Lex

> _______________________________________________
> Users mailing list
> Users at lists.geany.org
> https://lists.geany.org/cgi-bin/mailman/listinfo/users