Options
All
  • Public
  • Public/Protected
  • All
Menu

Module settingeditor-extension

Index

Variables

Variables

Const default

default: JupyterFrontEndPlugin<ISettingEditorTracker> = {id: '@jupyterlab/settingeditor-extension:plugin',requires: [ILayoutRestorer,ISettingRegistry,IEditorServices,IStateDB,IRenderMimeRegistry,ILabStatus,ITranslator],optional: [ICommandPalette],autoStart: true,provides: ISettingEditorTracker,activate}

The default setting editor extension.

Generated using TypeDoc