Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
PluginCommand
Interface PluginCommand
interface
PluginCommand
{
category
?:
string
;
command
:
string
;
enablement
?:
string
;
iconUrl
?:
IconUrl
;
originalTitle
?:
string
;
shortTitle
?:
string
;
themeIcon
?:
string
;
title
:
string
;
}
Index
Properties
category?
command
enablement?
icon
Url?
original
Title?
short
Title?
theme
Icon?
title
Properties
Optional
category
category
?:
string
command
command
:
string
Optional
enablement
enablement
?:
string
Optional
icon
Url
iconUrl
?:
IconUrl
Optional
original
Title
originalTitle
?:
string
Optional
short
Title
shortTitle
?:
string
Optional
theme
Icon
themeIcon
?:
string
title
title
:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
category
command
enablement
icon
Url
original
Title
short
Title
theme
Icon
title
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...