Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-ext
getShellExecutionOptions
Function getShellExecutionOptions
get
Shell
Execution
Options
(
options
)
:
{
[
key
:
string
]
:
any
;
}
Parameters
options
:
ShellExecutionOptions
Returns
{
[
key
:
string
]
:
any
;
}
[
key
:
string
]:
any
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
Theia TypeDoc
Loading...