On 29 July 2015 at 18:04, Михаил Гаврилов email@example.com wrote:
2015-07-29 12:05 GMT+05:00 Михаил Гаврилов firstname.lastname@example.org:
2015-07-29 11:59 GMT+05:00 Vit Ry email@example.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@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users