Check if the file has been modified on disk and differs from the buffer.
Compares the file's modification time on disk with the buffer's last read timestamp. If the file was modified, also checks if the content actually differs from the buffer. Automatically reloads the file if it changed and the buffer has no unsaved changes.
This should be called when the window gains focus to detect external file changes.
|
FileUpdateStatus indicating what action should be taken: - NO_CHANGE: File hasn't changed on disk (or was auto-reloaded) - CHANGED_HAS_UNSAVED: File changed, buffer has unsaved changes - needs warning |