Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
PluginPackageKeybinding
Interface PluginPackageKeybinding
interface
PluginPackageKeybinding
{
args
?:
any
;
command
:
string
;
key
?:
string
;
linux
?:
string
;
mac
?:
string
;
when
?:
string
;
win
?:
string
;
}
Index
Properties
args?
command
key?
linux?
mac?
when?
win?
Properties
Optional
args
args
?:
any
command
command
:
string
Optional
key
key
?:
string
Optional
linux
linux
?:
string
Optional
mac
mac
?:
string
Optional
when
when
?:
string
Optional
win
win
?:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
args
command
key
linux
mac
when
win
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...