TerminalProfile$Typings extension

on

Properties

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