[Geany-Users] 1.25 incorrectly detecting file changes

Lex Trotman elextr at xxxxx
Wed Jul 29 08:13:55 UTC 2015

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.


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

More information about the Users mailing list