Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface PluginThemeContribution

Hierarchy

  • PluginThemeContribution

Index

Properties

Properties

Optional description

description: string

Optional id

id: string

Optional label

label: string

Optional path

path: string

Optional uiTheme

uiTheme: "vs" | "vs-dark" | "hc-black"