Class TerminalProfile

A terminal profile defines how a terminal will be launched.

Hierarchy

TerminalProfile

Index

Constructors

constructor

Properties

options

Constructors

constructor

new TerminalProfile(options: TerminalOptions | ExtensionTerminalOptions): TerminalProfile

- Defined in packages/plugin/src/theia.d.ts:3468
Creates a new terminal profile.

Parameters
- options: TerminalOptions | ExtensionTerminalOptions
  
  The options that the terminal will launch with.
Returns TerminalProfile

Properties

options

options: TerminalOptions | ExtensionTerminalOptions

The options that the terminal will launch with.