Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface CustomDocument

Represents a custom document used by a CustomEditorProvider.

Custom documents are only used within a given CustomEditorProvider. The lifecycle of a CustomDocument is managed by Theia. When no more references remain to a CustomDocument, it is disposed of.

Hierarchy

  • CustomDocument

Index

Properties

Methods

Properties

uri: Uri

The associated uri for this document.

Methods

  • dispose(): void
  • Dispose of the custom document.

    This is invoked by Theia when there are no more references to a given CustomDocument (for example when all editors associated with the document have been closed.)

    Returns void