Constant languageserver_types::NOTIFICATION__DidCloseTextDocument [] [src]

pub const NOTIFICATION__DidCloseTextDocument: &'static str = "textDocument/didClose"

The document close notification is sent from the client to the server when the document got closed in the client. The document's truth now exists where the document's uri points to (e.g. if the document's uri is a file uri the truth now exists on disk).