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