On 29 July 2015 at 18:27, Михаил Гаврилов email@example.com wrote:
2015-07-29 13:13 GMT+05:00 Lex Trotman firstname.lastname@example.org:
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.
user open file a) calculate CRC for opened file and store into memory
user try save file a) calculate CRC for file which would be replaced b) compare two CRC c) if CRC are different notify user that someone had changed the
file and suggest merge changes with merge tool d) if CRC is identical just replace file on disk.
That would be really very convenient than it is now.
This could handle identifying that the underlying file has changed at save time, but currently Geany identifies that the file changed a few tens of seconds after it happens. Then it is more convenient for the user to do something about it, rather than doing a large editing session then finding there is a problem.
-- Best Regards, Mike Gavrilov. _______________________________________________ Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users