TerminalProfile$Typings extension

on

Properties

options Object

Available on TerminalProfile, provided by the TerminalProfile$Typings extension

The options that the terminal will launch with.
getter/setter pair