Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-ext
TerminalProfile
Class TerminalProfile
Index
Constructors
constructor
Properties
options
Constructors
constructor
new
Terminal
Profile
(
options
)
:
TerminalProfile
Creates a new terminal profile.
Parameters
options
:
TerminalOptions
|
ExtensionTerminalOptions
The options that the terminal will launch with.
Returns
TerminalProfile
Properties
Readonly
options
options
:
TerminalOptions
|
ExtensionTerminalOptions
The options that the terminal will launch with.
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
constructor
options
Theia TypeDoc
Loading...
Creates a new terminal profile.