Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-protocol
Keybinding
Interface Keybinding
Keybinding contribution
interface
Keybinding
{
args
?:
any
;
command
:
string
;
keybinding
?:
string
;
linux
?:
string
;
mac
?:
string
;
when
?:
string
;
win
?:
string
;
}
Index
Properties
args?
command
keybinding?
linux?
mac?
when?
win?
Properties
Optional
args
args
?:
any
eslint-disable-next-line @typescript-eslint/no-explicit-any
command
command
:
string
Optional
keybinding
keybinding
?:
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
keybinding
linux
mac
when
win
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...
Keybinding contribution