Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface PluginIconThemeContribution

Hierarchy

  • PluginIconThemeContribution

Index

Properties

description?: string
id?: string
label?: string
path?: string
uiTheme?: PluginUiTheme