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.

Returns:

FileUpdateStatus indicating what action should be taken