>>If the file size and mtime are unchanged... >What if the file size is unchanged but the mtime is changed?
Same behavior as in current Geany. Detail: * Geany only notify a file change if the modification time is greater (file on disk is newer) than last time loaded/saved. * It does not inform the user if the mtime on disk is less (file on disk is older) than last time loaded/saved. I recognized this but I didn't want to change this check as I thought someone explicit designed it that way. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1175#issuecomment-239605282
