Options
All
  • Public
  • Public/Protected
  • All
Menu

Namespace ISettingRegistry

A namespace for setting registry interfaces.

Index

Namespaces

Interfaces

Type aliases

Type aliases

DefaultMenuId

DefaultMenuId: "jp-menu-file" | "jp-menu-file-new" | "jp-menu-edit" | "jp-menu-help" | "jp-menu-kernel" | "jp-menu-run" | "jp-menu-settings" | "jp-menu-view" | "jp-menu-tabs"

The menu ids defined by default.

Primitive

Primitive: "array" | "boolean" | "null" | "number" | "object" | "string"

The primitive types available in a JSON schema.

Generated using TypeDoc