Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface MonacoTheme

Hierarchy

  • MonacoTheme

Index

Properties

Properties

Optional description

description?: string

Optional id

id?: string

Optional label

label?: string

Optional uiTheme

uiTheme?: BuiltinTheme

uri

uri: string