Name | Description | |
---|---|---|
![]() | AutoFontSize | Gets or sets whether the font size auto-adjusts when the terminal window size changes. |
![]() | Bold | Gets or sets whether the terminal font has the bold attribute. |
![]() | DisplayVariableWidthFonts | Gets or sets whether variable width fonts appear in the list of fonts in the Fonts section of the Theme Settings. |
![]() | 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. This property has no effect when AutoFontSize is True (the default). |
![]() | Parent | Gets the parent object (Theme). |