A terminal profile defines how a terminal will be launched.
Creates a new terminal profile.
The options that the terminal will launch with.
Generated by TypeDoc
A terminal profile defines how a terminal will be launched.