PartialTextDocumentData

class PartialTextDocumentData

Description

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 by

• syside.TextDocuments: find_or_open