check_active_file_changed


Description:

public async FileUpdateStatus check_active_file_changed ()

Check if the active file has been modified on disk and differs from the buffer.

Delegates to the active file's check_updated() method. This should be called when the window gains focus to detect external file changes.

Returns:

FileUpdateStatus indicating what action should be taken