lsp / org.pinelang.lsp.lsp.models / VersionedTextDocumentIdentifier / version

version

val version:Double

The version number of this document. If a versioned text document identifier is sent from the server to the client and the file is not open in the editor (the server has not received an open notification before) the server can send null to indicate that the version is known and the content on disk is the master (as speced with document content ownership).

The version number of a document will increase after each change, including undo/redo. The number doesn’t need to be consecutive.