pub fn document_changed(file: &str)
Record a document change event for the given file.
Called by editor plugins on every document modification.