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

• syside.TextDocuments

  • find_or_open