Name | Description | |
---|---|---|
![]() | AutoFontSize | Gets or sets whether the font size is auto adjusted when the terminal window size changes. |
![]() | Bold | Gets or sets whether the terminal font has the bold attribute. |
![]() | FontName | Gets or sets the face name of the terminal font to use. |
![]() | FontSize | Gets or sets the size (in points) of the terminal session font. |
![]() | Parent | Gets the parent object (ITheme). |