[Geany-Users] 1.25 incorrectly detecting file changes
elextr at xxxxx
Wed Jul 29 09:08:22 UTC 2015
On 29 July 2015 at 18:27, Михаил Гаврилов <mikhail.v.gavrilov at gmail.com> wrote:
> 2015-07-29 13:13 GMT+05:00 Lex Trotman <elextr at gmail.com>:
>> 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.
> 1. user open file
> a) calculate CRC for opened file and store into memory
> 2. 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 at lists.geany.org
More information about the Users