Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
terminal
IShellTerminalPreferences
Interface IShellTerminalPreferences
interface
IShellTerminalPreferences
{
shell
:
ShellTerminalOSPreferences
<
undefined
|
string
>
;
shellArgs
:
ShellTerminalOSPreferences
<
string
[]
>
;
}
Index
Properties
shell
shell
Args
Properties
shell
shell
:
ShellTerminalOSPreferences
<
undefined
|
string
>
shell
Args
shell
Args
:
ShellTerminalOSPreferences
<
string
[]
>
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
shell
shell
Args
Theia TypeDoc
Loading...