Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-protocol
PluginIconThemeContribution
Interface PluginIconThemeContribution
interface
PluginIconThemeContribution
{
description
?:
string
;
id
?:
string
;
label
?:
string
;
path
?:
string
;
uiTheme
?:
PluginUiTheme
;
}
Index
Properties
description?
id?
label?
path?
ui
Theme?
Properties
Optional
description
description
?:
string
Optional
id
id
?:
string
Optional
label
label
?:
string
Optional
path
path
?:
string
Optional
ui
Theme
uiTheme
?:
PluginUiTheme
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
description
id
label
path
ui
Theme
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...