Options
All
  • Public
  • Public/Protected
  • All
Menu

The options used to initialize a document widget manager.

Hierarchy

  • IOptions

Index

Properties

Properties

registry

registry: DocumentRegistry

A document registry instance.

Generated using TypeDoc