PartialTextDocumentData

class PartialTextDocumentData

A subset of TextDocumentData for opening a new text document when one was not found

Members defined in PartialTextDocumentData (3 members)

content

RW

Source text contents

version

RW

Initial version number

__init__

Attributes

property content: str

Source text contents

property version: int

Initial version number

Methods

__init__(content: str, version: int = 0) None
Used in