PartialTextDocumentData
- class PartialTextDocumentData
A subset of
TextDocumentDatafor opening a new text document when one was not foundMembers defined in
PartialTextDocumentData(3 members) Attributes
- property content: str
Source text contents
- property version: int
Initial version number
Methods
- __init__(content: str, version: int = 0) None